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