redcsl.bat 815 B

12345678910111213141516171819202122232425262728293031
  1. @echo off
  2. rem Run Windows CSL REDUCE.
  3. set reduce=reducevar
  4. if "%1" == "" goto l5
  5. if not %1 == cygnus goto l3
  6. :l1
  7. set platform=cygwin32
  8. if not "%Cygroot%" == "" goto l2
  9. set Cygroot=c:\cygwin
  10. echo *** Using %Cygroot% as Cygroot value
  11. :l2
  12. set path=%Cygroot%\bin;%PATH%
  13. %reduce%\lisp\csl\%platform%\csl -i %reduce%\lisp\csl\reduce.img -o %reduce%\lisp\csl\reduce.img
  14. goto ret
  15. :l3
  16. if %1 == visualc set platform=win32vc
  17. if %1 == watcom set platform=win32
  18. if not "%platform%" == "" goto cont
  19. :l4
  20. echo Please call redcsl with argument cygnus, visualc, or watcom
  21. goto ret
  22. :l5
  23. if "%MACHINE%" == "" goto l4
  24. if "%MACHINE%" == "cygwin32" goto l1
  25. set platform=%MACHINE%
  26. :cont
  27. start %reduce%\lisp\csl\%platform%\csl -i %reduce%\lisp\csl\reduce.img -o %reduce%\lisp\csl\reduce.img
  28. :ret
  29. set platform=