tstpckge.bat 791 B

1234567891011121314151617181920212223242526272829303132333435363738
  1. rem test --- Run a REDUCE test file.
  2. rem Author: Anthony C. Hearn.
  3. set package=%1
  4. if %lisp% == psl goto psl
  5. if not %MACHINE% == cygwin32 goto l2
  6. if not "%Cygroot%" == "" goto l1
  7. set Cygroot=c:\cygwin
  8. echo *** Using %Cygroot% as Cygroot value
  9. :l1
  10. set opath=%path%
  11. set path=%Cygroot%\bin;%PATH%
  12. :l2
  13. start /wait /min %reduce%\lisp\csl\%MACHINE%\csl -i %reduce%\lisp\csl\reduce.img %reduce%\util\tstpckge.dat -- %reduce%\log\%1.rlg
  14. goto ret
  15. :psl
  16. if not "%pslsize%" == "" goto cont
  17. set pslsize=12000000
  18. :cont
  19. start /wait /min %reduce%\lisp\psl\%MACHINE%\psl\bpsl -td %pslsize% -f %reduce%\lisp\psl\%MACHINE%\red\reduce.img -i %reduce%\util\tstpckge.dat -o %reduce%\log\%1.rlg
  20. :ret
  21. set package=
  22. if not "%opath%" == "" set path=%opath%
  23. set opath=