equal
deleted
inserted
replaced
50 echo Destination=${ISABELLEBIN?'No destination directory specified'} |
50 echo Destination=${ISABELLEBIN?'No destination directory specified'} |
51 echo force=$FORCE ' ' clean=$CLEAN ' ' |
51 echo force=$FORCE ' ' clean=$CLEAN ' ' |
52 echo Compiler=${ISABELLECOMP?'No compiler specified'} |
52 echo Compiler=${ISABELLECOMP?'No compiler specified'} |
53 echo Running on `hostname` |
53 echo Running on `hostname` |
54 echo Log files will be called make$$.log.gz |
54 echo Log files will be called make$$.log.gz |
|
55 case $TEST in |
|
56 test) echo; echo ' **** Full test: WILL TAKE MANY HOURS ****' |
|
57 echo ' **** Consider the -notest switch ****' |
|
58 esac |
|
59 |
55 |
60 |
56 case $FORCE.$EXEC in |
61 case $FORCE.$EXEC in |
57 on.on) (cd $ISABELLEBIN; |
62 on.on) (cd $ISABELLEBIN; |
58 for f in Pure FOL ZF CCL LCF CTT Sequents HOL HOLCF Cube FOLP |
63 for f in Pure FOL ZF CCL LCF CTT Sequents HOL HOLCF Cube FOLP |
59 do |
64 do |