reduce2.psl 250 B

1234567
  1. #!/bin/csh -f
  2. # Script to load PSL REDUCE. It should be installed in /usr/local/bin,
  3. # somewhere in your search path.
  4. setenv reduce reducevar
  5. reducevar/lisp/psl/MACHINEvar/psl/bpsl -td 16000000 \
  6. -f reducevar/lisp/psl/MACHINEvar/red/reduce.img