33 exit 1; \ |
33 exit 1; \ |
34 fi;\ |
34 fi;\ |
35 case "$(COMP)" in \ |
35 case "$(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-undefined}" != "undefined" ]; \ |
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;\ |
41 else echo 'open PolyML; exit_use_dir".";' \ |
41 elif [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
|
42 then echo 'open PolyML; make_html := true; exit_use_dir"."; make_html := false;' | $(COMP) $(BIN)/CTT;\ |
|
43 else echo 'open PolyML; exit_use_dir".";' \ |
42 | $(COMP) $(BIN)/CTT;\ |
44 | $(COMP) $(BIN)/CTT;\ |
43 fi;;\ |
45 fi;;\ |
44 sml*) if [ "$${MAKE_HTML-undefined}" != "undefined" ];\ |
46 sml*) if [ "$${MAKE_HTML}" = "true" ]; \ |
45 then echo 'make_html := true; exit_use_dir"."; xML"$(BIN)/CTT" banner;' | $(BIN)/Pure;\ |
47 then echo 'make_html := true; exit_use_dir"."; xML"$(BIN)/CTT" banner;' | $(BIN)/Pure;\ |
|
48 elif [ "$${MAKE_HTML-undefined}" != "undefined" ];\ |
|
49 then echo 'make_html := true; exit_use_dir"."; make_html := false; xML"$(BIN)/CTT" banner;' \ |
|
50 | $(BIN)/Pure;\ |
46 else echo 'exit_use_dir"."; xML"$(BIN)/CTT" banner;' \ |
51 else echo 'exit_use_dir"."; xML"$(BIN)/CTT" banner;' \ |
47 | $(BIN)/Pure;\ |
52 | $(BIN)/Pure;\ |
48 fi;;\ |
53 fi;;\ |
49 *) echo Bad value for ISABELLECOMP: \ |
54 *) echo Bad value for ISABELLECOMP: \ |
50 $(COMP) is not poly or sml;;\ |
55 $(COMP) is not poly or sml;;\ |