equal
deleted
inserted
replaced
30 @if [ -d $${ISABELLEBIN:?}/Pure ];\ |
30 @if [ -d $${ISABELLEBIN:?}/Pure ];\ |
31 then echo Bad value for ISABELLEBIN: \ |
31 then echo Bad value for ISABELLEBIN: \ |
32 $(BIN) is the Isabelle source directory; \ |
32 $(BIN) is the Isabelle source directory; \ |
33 exit 1; \ |
33 exit 1; \ |
34 fi |
34 fi |
35 @case `expr "//$(COMP)" : '[^ ]*/\(.*\)'` in \ |
35 @case `basename "$(COMP)"` in \ |
36 poly*) echo 'make_database"$(BIN)/CTT"; quit();' \ |
36 poly*) echo 'make_database"$(BIN)/CTT"; quit();' \ |
37 | $(COMP) $(BIN)/Pure;\ |
37 | $(COMP) $(BIN)/Pure;\ |
38 if [ "$${MAKE_HTML}" = "true" ]; \ |
38 if [ "$${MAKE_HTML}" = "true" ]; \ |
39 then echo 'open PolyML; make_html := true; exit_use_dir".";' \ |
39 then echo 'open PolyML; make_html := true; exit_use_dir".";' \ |
40 | $(COMP) $(BIN)/CTT;\ |
40 | $(COMP) $(BIN)/CTT;\ |
58 |
58 |
59 $(BIN)/Pure: |
59 $(BIN)/Pure: |
60 cd ../Pure; $(MAKE) |
60 cd ../Pure; $(MAKE) |
61 |
61 |
62 test: ex/ROOT.ML $(BIN)/CTT $(EX_FILES) |
62 test: ex/ROOT.ML $(BIN)/CTT $(EX_FILES) |
63 @case `expr "//$(COMP)" : '[^ ]*/\(.*\)'` in \ |
63 @case `basename "$(COMP)"` in \ |
64 poly*) echo 'exit_use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CTT ;;\ |
64 poly*) echo 'exit_use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CTT ;;\ |
65 sml*) echo 'exit_use"ex/ROOT.ML";' | $(BIN)/CTT;;\ |
65 sml*) echo 'exit_use"ex/ROOT.ML";' | $(BIN)/CTT;;\ |
66 *) echo Bad value for ISABELLECOMP: \ |
66 *) echo Bad value for ISABELLECOMP: \ |
67 \"$(COMP)\" is not poly or sml;;\ |
67 \"$(COMP)\" is not poly or sml;;\ |
68 esac |
68 esac |