26 |
26 |
27 #Uses cp rather than make_database because Poly/ML allows only 3 levels |
27 #Uses cp rather than make_database because Poly/ML allows only 3 levels |
28 $(BIN)/Modal: $(BIN)/LK $(FILES) |
28 $(BIN)/Modal: $(BIN)/LK $(FILES) |
29 case "$(COMP)" in \ |
29 case "$(COMP)" in \ |
30 poly*) cp $(BIN)/LK $(BIN)/Modal;\ |
30 poly*) cp $(BIN)/LK $(BIN)/Modal;\ |
31 if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
31 if [ "$${MAKE_HTML}" = "true" ]; \ |
32 then echo 'open PolyML; make_html := true; exit_use_dir".";' \ |
32 then echo 'open PolyML; make_html := true; exit_use_dir".";' \ |
33 | $(COMP) $(BIN)/Modal;\ |
33 | $(COMP) $(BIN)/Modal;\ |
34 else echo 'open PolyML; exit_use_dir".";' \ |
34 elif [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
|
35 then echo 'open PolyML; make_html := true; exit_use_dir"."; make_html := false;' | $(COMP) $(BIN)/Modal;\ |
|
36 else echo 'open PolyML; exit_use_dir".";' \ |
35 | $(COMP) $(BIN)/Modal;\ |
37 | $(COMP) $(BIN)/Modal;\ |
36 fi;;\ |
38 fi;;\ |
37 sml*) if [ "$${MAKE_HTML-undefined}" != "undefined" ];\ |
39 sml*) if [ "$${MAKE_HTML}" = "true" ]; \ |
38 then echo 'make_html := true; exit_use_dir"."; xML"$(BIN)/Modal" banner;' | $(BIN)/LK;\ |
40 then echo 'make_html := true; exit_use_dir"."; xML"$(BIN)/Modal" banner;' | $(BIN)/LK;\ |
|
41 elif [ "$${MAKE_HTML-undefined}" != "undefined" ];\ |
|
42 then echo 'make_html := true; exit_use_dir"."; make_html := false; xML"$(BIN)/Modal" banner;' \ |
|
43 | $(BIN)/LK;\ |
39 else echo 'exit_use_dir"."; xML"$(BIN)/Modal" banner;' \ |
44 else echo 'exit_use_dir"."; xML"$(BIN)/Modal" banner;' \ |
40 | $(BIN)/LK;\ |
45 | $(BIN)/LK;\ |
41 fi;;\ |
46 fi;;\ |
42 *) echo Bad value for ISABELLECOMP: \ |
47 *) echo Bad value for ISABELLECOMP: \ |
43 $(COMP) is not poly or sml;;\ |
48 $(COMP) is not poly or sml;;\ |