# Run the gabriel benchmarks in a cmplc 
# usage: cd recette; dobench

# Code changed to 600+ for RISC's, and 384 for others.
cd ..
log=recette/log/bench.`date '+%d-%m-%y'`
echo "Benchmark log in $log"
recette/echoconfig | tee $log

lelispbin -stack 6 -code 600 -heap 128 -number 0 -float 0 -vector 4 -string 7 -symbol 6 -cons 24 ../llib/startup.ll >> $log <<EOI 
(load-cpl () t () () t t)
../benchmarks/benchmarks
(do-test)
(end)
EOI