Next: , Previous: , Up: Run   [Contents][Index]

14.3 Running PSL REDUCE on Windows

PSL REDUCE on Windows currently needs to be run explicitly from a shell and a reasonably easy way to arrange that is to create a text file called (say) myredpsl.bat containing the following two lines:

@echo off
cmd /c redpsl

This assumes you have added the REDUCE bin directory to your search path; if not then you need to use the full path for redpsl, which is probably "C:/Program Files/Reduce/bin/redpsl.bat". Then customize reduce-run-commands (see the next section) to use the name of your .bat file as the command to start PSL REDUCE if it is on your search path, or use the full pathname of the file if it is not on your search path.