#!/bin/csh

cd $PICASSOHOME/src

echo '(change-memory-management :growth-limit 1200)' \
     '(change-memory-management :growth-rate 12)' \
     '(setf *load-source-pathname-types* (quote ("lisp" "cl" NIL)))' \
#    '(load "../bin/resource")' \
     '(load "picasso.sbin")' \
     '(gc)' \
     '(ephemeral-gc t)' \
     '(push :picasso *features*)' \
     '(in-package "PT")' \
     '(evaluate-deferred-clauses)' \
     '(room t)' \
     '(set-prompt "<lucid-picasso> ")' \
     '(disksave "/n/picasso/users/picasso/bin/new-picasso" ' \
	       ':full-gc t' \
	       ':restart-function (function start-picasso))' \
     '(quit)' | /bin/lisp401
