#!/bin/csh -f

# dbuild.psl --- Build a minimal PSL REDUCE sufficient to build all fasl files.

# Author: Anthony C. Hearn.

setenv rexec $reduce/lisp/psl/$MACHINE/red

if ( -e $rexec/reduce.img ) then
   mv $rexec/reduce.img $rexec/,reduce.img
# else if ( -e $rexec/reduce && `wc -c < $rexec/reduce` >> 10000 ) then
#  mv $rexec/reduce $rexec/,reduce
 endif

rm -f $reduce/log/dbuild.log

date > $reduce/log/dbuild.log

pushd $reduce/lisp/psl/$MACHINE/psl

$reduce/lisp/psl/$MACHINE/psl/bpsl -td 14000000 >>& $reduce/log/dbuild.log << EOF

(setq symbolfilename* "$reduce/lisp/psl/$MACHINE/psl/bpsl")

(setq loaddirectories* '("" "$reduce/lisp/psl/$MACHINE/red/"
			    "$reduce/lisp/psl/$MACHINE/psl/"))

(dskin "$reduce/packages/support/dbuild.sl")

(savesystem "Base REDUCE" "$rexec/reduce" nil)

(quit)

EOF

popd

date >> $reduce/log/dbuild.log
