#! /bin/sh

case `uname -m` in
i*)
      STORE=16000000
      ;;
x86_64)
      STORE=1000
      ;;
esac

PSLBUILDDIR=`readlink -m /opt/reduce/6658/lib/reduce/pslbuild`
bin="$PSLBUILDDIR/psl/bpsl"
img="$PSLBUILDDIR/red/reduce.img"

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