1.1 --- a/make-all	Thu Jan 20 12:38:02 1994 +0100
     1.2 +++ b/make-all	Thu Jan 20 13:35:40 1994 +0100
     1.3 @@ -54,7 +54,7 @@
     1.4  echo Log files will be called make$$.log.gz
     1.5  
     1.6  case $FORCE.$EXEC in
     1.7 -    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL Cube FOLP)
     1.8 +    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL HOLCF Cube FOLP)
     1.9  esac
    1.10  
    1.11  set +e			#no longer fail upon errors -- e.g. if a "make" fails
    1.12 @@ -138,8 +138,16 @@
    1.13  (cd HOL;  make $NO $TEST > make$$.log)
    1.14  tail HOL/make$$.log
    1.15  gzip HOL/make$$.log
    1.16 +#cannot delete HOL yet... it is needed for HOLCF!
    1.17 +
    1.18 +echo
    1.19 +echo
    1.20 +echo '*****LCF in HOL (HOL)*****'
    1.21 +(cd HOLCF;  make $NO $TEST > make$$.log)
    1.22 +tail HOLCF/make$$.log
    1.23 +gzip HOLCF/make$$.log
    1.24  case $CLEAN.$EXEC in
    1.25 -    on.on)	rm $ISABELLEBIN/HOL
    1.26 +    on.on)	rm $ISABELLEBIN/HOL $ISABELLEBIN/HOLCF
    1.27  esac
    1.28  
    1.29  echo
    1.30 @@ -166,6 +174,7 @@
    1.31      test.on)	echo
    1.32  	        echo '***** Now check the dates on the "test" files *****'
    1.33          	ls -lrt FOL/test ZF/test CCL/test LCF/test CTT/test\
    1.34 -              	        LK/test Modal/test HOL/test Cube/test FOLP/test
    1.35 +              	        LK/test Modal/test HOL/test HOLCF/test Cube/test\
    1.36 +                        FOLP/test
    1.37  esac
    1.38  echo Finished at `date`

     2.1 --- a/src/Tools/make-all	Thu Jan 20 12:38:02 1994 +0100
     2.2 +++ b/src/Tools/make-all	Thu Jan 20 13:35:40 1994 +0100
     2.3 @@ -54,7 +54,7 @@
     2.4  echo Log files will be called make$$.log.gz
     2.5  
     2.6  case $FORCE.$EXEC in
     2.7 -    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL Cube FOLP)
     2.8 +    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL HOLCF Cube FOLP)
     2.9  esac
    2.10  
    2.11  set +e			#no longer fail upon errors -- e.g. if a "make" fails
    2.12 @@ -138,8 +138,16 @@
    2.13  (cd HOL;  make $NO $TEST > make$$.log)
    2.14  tail HOL/make$$.log
    2.15  gzip HOL/make$$.log
    2.16 +#cannot delete HOL yet... it is needed for HOLCF!
    2.17 +
    2.18 +echo
    2.19 +echo
    2.20 +echo '*****LCF in HOL (HOL)*****'
    2.21 +(cd HOLCF;  make $NO $TEST > make$$.log)
    2.22 +tail HOLCF/make$$.log
    2.23 +gzip HOLCF/make$$.log
    2.24  case $CLEAN.$EXEC in
    2.25 -    on.on)	rm $ISABELLEBIN/HOL
    2.26 +    on.on)	rm $ISABELLEBIN/HOL $ISABELLEBIN/HOLCF
    2.27  esac
    2.28  
    2.29  echo
    2.30 @@ -166,6 +174,7 @@
    2.31      test.on)	echo
    2.32  	        echo '***** Now check the dates on the "test" files *****'
    2.33          	ls -lrt FOL/test ZF/test CCL/test LCF/test CTT/test\
    2.34 -              	        LK/test Modal/test HOL/test Cube/test FOLP/test
    2.35 +              	        LK/test Modal/test HOL/test HOLCF/test Cube/test\
    2.36 +                        FOLP/test
    2.37  esac
    2.38  echo Finished at `date`