#!/bin/sh
reduce=/export/pc/reduce
MACHINE=linux
lisp=psl
IMAGE=$reduce/lisp/$lisp/$MACHINE/red/reduce.img
export MACHINE
export reduce
export lisp

echo 'off int$' > reduceinit
echo 'lisp setq(promptstring!*,"")$' >> reduceinit
echo 'lisp setq(promptexp!*'",'! )$" >> reduceinit
echo 'off nat$'  >> reduceinit
echo 'on gcd$'   >> reduceinit
echo 'on ezgcd$' >> reduceinit
echo '1;' >> reduceinit

REDUCE="$reduce/lisp/psl/$MACHINE/psl/bpsl -td 128000000 \
                                                  -f $IMAGE"
OUTF1='sed -u  s/\$/\nP\n/g'
OUTF2='sed -u /^$/d'
cat -u reduceinit -|$REDUCE|$OUTF1|$OUTF2
rm -f reduceinit
