1 | #! /bin/sh |
---|
2 | |
---|
3 | case `uname -m` in |
---|
4 | i*) |
---|
5 | STORE=16000000 |
---|
6 | ;; |
---|
7 | x86_64) |
---|
8 | STORE=1000 |
---|
9 | ;; |
---|
10 | esac |
---|
11 | |
---|
12 | MYDIR=`dirname $0` |
---|
13 | export MYDIR |
---|
14 | PSLDIR="$(cd $MYDIR/../libexec/reduce/psl && pwd -P)" |
---|
15 | bin="$PSLDIR/psl/bpsl" |
---|
16 | img="$PSLDIR/red/reduce.img" |
---|
17 | |
---|
18 | exec $bin -td $STORE -f $img $@ |
---|
19 | |
---|