cpsa-4.4.1: mkghci

#! /bin/sh
autogen=`find . -name autogen -type d | grep '/cpsa4/'`

echo ':set' "-isrc:$autogen"
echo ':set -fbreak-on-error'
echo ':set' args ${1:-bug.scm}
echo '-- ghci -fghci-hist-size=200 src/CPSA/Main.hs'
echo '-- :trace main'