cpsa-3.6.6: mkghci
#! /bin/sh
autogen=`find . -name autogen -type d | grep '/cpsa/'`
echo ':set' "-isrc:$autogen"
echo ':set -fbreak-on-error'
echo ':set' args ${1:-bug.scm}
echo '-- ghci src/CPSA/Main.hs'
echo '-- :trace main'
#! /bin/sh
autogen=`find . -name autogen -type d | grep '/cpsa/'`
echo ':set' "-isrc:$autogen"
echo ':set -fbreak-on-error'
echo ':set' args ${1:-bug.scm}
echo '-- ghci src/CPSA/Main.hs'
echo '-- :trace main'