math/reduce-psl/files/runpsl.sh


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

#! /bin/sh

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

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

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