# HG changeset patch
# User nipkow
# Date 759069340 -3600
# Node ID e5d184710a0b665ed03be27d20cbf4d4e101afaf
# Parent  faf3de36fdb1e1ced5c3baa484ca8ae5c582e122
added HOLCF

diff -r faf3de36fdb1 -r e5d184710a0b make-all
--- a/make-all	Thu Jan 20 12:38:02 1994 +0100
+++ b/make-all	Thu Jan 20 13:35:40 1994 +0100
@@ -54,7 +54,7 @@
 echo Log files will be called make$$.log.gz
 
 case $FORCE.$EXEC in
-    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL Cube FOLP)
+    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL HOLCF Cube FOLP)
 esac
 
 set +e			#no longer fail upon errors -- e.g. if a "make" fails
@@ -138,8 +138,16 @@
 (cd HOL;  make $NO $TEST > make$$.log)
 tail HOL/make$$.log
 gzip HOL/make$$.log
+#cannot delete HOL yet... it is needed for HOLCF!
+
+echo
+echo
+echo '*****LCF in HOL (HOL)*****'
+(cd HOLCF;  make $NO $TEST > make$$.log)
+tail HOLCF/make$$.log
+gzip HOLCF/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/HOL
+    on.on)	rm $ISABELLEBIN/HOL $ISABELLEBIN/HOLCF
 esac
 
 echo
@@ -166,6 +174,7 @@
     test.on)	echo
 	        echo '***** Now check the dates on the "test" files *****'
         	ls -lrt FOL/test ZF/test CCL/test LCF/test CTT/test\
-              	        LK/test Modal/test HOL/test Cube/test FOLP/test
+              	        LK/test Modal/test HOL/test HOLCF/test Cube/test\
+                        FOLP/test
 esac
 echo Finished at `date`
diff -r faf3de36fdb1 -r e5d184710a0b src/Tools/make-all
--- a/src/Tools/make-all	Thu Jan 20 12:38:02 1994 +0100
+++ b/src/Tools/make-all	Thu Jan 20 13:35:40 1994 +0100
@@ -54,7 +54,7 @@
 echo Log files will be called make$$.log.gz
 
 case $FORCE.$EXEC in
-    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL Cube FOLP)
+    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL HOLCF Cube FOLP)
 esac
 
 set +e			#no longer fail upon errors -- e.g. if a "make" fails
@@ -138,8 +138,16 @@
 (cd HOL;  make $NO $TEST > make$$.log)
 tail HOL/make$$.log
 gzip HOL/make$$.log
+#cannot delete HOL yet... it is needed for HOLCF!
+
+echo
+echo
+echo '*****LCF in HOL (HOL)*****'
+(cd HOLCF;  make $NO $TEST > make$$.log)
+tail HOLCF/make$$.log
+gzip HOLCF/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/HOL
+    on.on)	rm $ISABELLEBIN/HOL $ISABELLEBIN/HOLCF
 esac
 
 echo
@@ -166,6 +174,7 @@
     test.on)	echo
 	        echo '***** Now check the dates on the "test" files *****'
         	ls -lrt FOL/test ZF/test CCL/test LCF/test CTT/test\
-              	        LK/test Modal/test HOL/test Cube/test FOLP/test
+              	        LK/test Modal/test HOL/test HOLCF/test Cube/test\
+                        FOLP/test
 esac
 echo Finished at `date`