math/reduce/files/runpsl.sh


1
2
3
4
5
6
7
8
9
10
11
12
13

#! /bin/sh

case `uname -m` in
amd64)
      STORE=2000
      ;;
esac

bin="/usr/local/share/reduce/psl/bpsl"
img="/usr/local/share/reduce/red/reduce.img"

exec $bin -td $STORE -f $img $*