echo "----------"
echo "files PASS4"
echo "----------"
echo "1 checksigs"
echo "2 findsig_str.inc" 
echo "3 edit mm2 - used to complie & link russell"
echo "4 checksigs.den1.inc.icn"
echo "5 checksigs.let1.inc.icn"
echo "6 checksigs.str1.inc.icn"
echo "7 chksigs.unpd1.inc.icn"
echo "8 coerce"
echo "9 findapplsig"
echo "10 finddecl"
echo "11 findmpsig"
echo "12 findsig"
echo "13 fixhints"
echo "14 getcomp"
echo "15 import"
echo "16 infer_args"
echo "17 match"
echo "18 subst"
echo "----------"
echo "111 TEST fact"
echo "112 TEST misc"
echo "113 TEST simp0001"
echo "114 TEST simp0002"
echo "123 TEST simp0011"
echo "124 TEST simp0012"
echo "125 TEST simp0013"
echo "777 dbg"

echo "999 quit"
echo "select"
read select
while [ $select -ne 999 ]
do 
case $select in
1) emacs pass4/checksigs.c pass4/checksigs.icn;;
2) emacs pass4/findsig.c pass4/findsig_str.inc.icn;;
3)  emacs mm2;;
4) emacs pass4/checksigs.c pass4/checksigs.den1.inc.icn;;
5) emacs pass4/checksigs.c pass4/checksigs.let1.inc.icn;;
6) emacs pass4/checksigs.c pass4/checksigs.str1.inc.icn;;
7) emacs pass4/checksigs.c pass4/chksigs.unpd1.inc.icn;;
8) emacs pass4/coerce.c pass4/coerce.icn;;
9) emacs pass4/findapplsig.c pass4/findapplsig.icn;;
10) emacs pass4/finddecl.c pass4/finddecl.icn;;
11) emacs pass4/findmpsig.c pass4/findmpsig.icn;;
12) emacs pass4/findsig.c pass4/findsig.icn;;
13) emacs pass4/fixhints.c pass4/fixhints.icn;;
14) emacs pass4/getcomp.c pass4/getcomp.icn;;
15) emacs pass4/import.c pass4/import.icn;;
16) emacs pass4/infer_args.c pass4/infer_args.icn;;
17) emacs pass4/match.c pass4/match.icn;;
18) emacs pass4/subst.c pass4/subst.icn;;


111) ./testfact;;
112) ./testmisc;;
113) ./testsimp0001;;
114) ./testsimp0002;;
123) ./testsimp0011;;
124) ./testsimp0012;;
125) ./testsimp0013;;
777) ./ttdbg;;

esac
echo "----------"
echo "files"
echo "----------"
echo "1 main"
echo "2 mine"
echo "3 defs"
echo "4 global_vars"
echo "5 globals_init"
echo "8 ststructs"
echo "9 mknode"
echo "12 checksigs"
echo "13 findsig_str.inc" 
echo "14 edit mm2 - used to complie & link russell"
echo "15 checksigs.den1.inc.icn"
echo "16 checksigs.let1.inc.icn"
echo "17 checksigs.str1.inc.icn"
echo "18 chksigs.unpd1.inc.icn"
echo "----------"

echo "111 TEST fact"
echo "112 TEST misc"
echo "113 TEST simp0001"
echo "114 TEST simp0002"
echo "123 TEST simp0011"
echo "124 TEST simp0012"
echo "125 TEST simp0013"
echo "777 dbg"

echo "999 quit"
echo "select"
read select
done
