#!/bin/csh

cd $PICASSOHOME/src

echo "(require 'clx)" \
     '(load "picasso.fasl")' \
     '(setf (system:gsgc-parameter :generation-spread) 1)' \
     '(gc :tenure)' \
     '(gc :tenure)' \
     '(gc t)' \
     '(push :picasso *features*)' \
     '(in-package pt)' \
     '(evaluate-deferred-clauses)' \
     '(room t)' \
     '(setf (system:gsgc-parameter :generation-spread) 4)' \
     '(setq tpl:*prompt* "<new-picasso> ")' \
     '(dumplisp :name "../bin/new-picasso" ' \
	       ':restart-function (function start-picasso))' \
     '(exit)' | cl -qq 
