30 |
30 |
31 $(BIN)/FOLP: $(BIN)/Pure $(FILES) |
31 $(BIN)/FOLP: $(BIN)/Pure $(FILES) |
32 case "$(COMP)" in \ |
32 case "$(COMP)" in \ |
33 poly*) echo 'make_database"$(BIN)/FOLP"; quit();' \ |
33 poly*) echo 'make_database"$(BIN)/FOLP"; quit();' \ |
34 | $(COMP) $(BIN)/Pure;\ |
34 | $(COMP) $(BIN)/Pure;\ |
35 if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
35 if [ "$${MAKE_HTML}" = "true" ]; \ |
36 then echo 'open PolyML; make_html := true; exit_use_dir".";' \ |
36 then echo 'open PolyML; make_html := true; exit_use_dir".";' \ |
37 | $(COMP) $(BIN)/FOLP;\ |
37 | $(COMP) $(BIN)/FOLP;\ |
38 else echo 'open PolyML; exit_use_dir".";' \ |
38 elif [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
|
39 then echo 'open PolyML; make_html := true; exit_use_dir"."; make_html := false;' | $(COMP) $(BIN)/FOLP;\ |
|
40 else echo 'open PolyML; exit_use_dir".";' \ |
39 | $(COMP) $(BIN)/FOLP;\ |
41 | $(COMP) $(BIN)/FOLP;\ |
40 fi;;\ |
42 fi;;\ |
41 sml*) if [ "$${MAKE_HTML-undefined}" != "undefined" ];\ |
43 sml*) if [ "$${MAKE_HTML}" = "true" ]; \ |
42 then echo 'make_html := true; exit_use_dir"."; xML"$(BIN)/FOLP" banner;' | $(BIN)/Pure;\ |
44 then echo 'make_html := true; exit_use_dir"."; xML"$(BIN)/FOLP" banner;' | $(BIN)/Pure;\ |
|
45 elif [ "$${MAKE_HTML-undefined}" != "undefined" ];\ |
|
46 then echo 'make_html := true; exit_use_dir"."; make_html := false; xML"$(BIN)/FOLP" banner;' \ |
|
47 | $(BIN)/Pure;\ |
43 else echo 'exit_use_dir"."; xML"$(BIN)/FOLP" banner;' \ |
48 else echo 'exit_use_dir"."; xML"$(BIN)/FOLP" banner;' \ |
44 | $(BIN)/Pure;\ |
49 | $(BIN)/Pure;\ |
45 fi;;\ |
50 fi;;\ |
46 *) echo Bad value for ISABELLECOMP: \ |
51 *) echo Bad value for ISABELLECOMP: \ |
47 $(COMP) is not poly or sml;;\ |
52 $(COMP) is not poly or sml;;\ |
50 $(BIN)/Pure: |
55 $(BIN)/Pure: |
51 cd ../Pure; $(MAKE) |
56 cd ../Pure; $(MAKE) |
52 |
57 |
53 test: ex/ROOT.ML $(BIN)/FOLP $(EX_FILES) |
58 test: ex/ROOT.ML $(BIN)/FOLP $(EX_FILES) |
54 case "$(COMP)" in \ |
59 case "$(COMP)" in \ |
55 poly*) echo 'exit_use_dir"ex"; quit();' | $(COMP) $(BIN)/FOLP ;;\ |
60 poly*) if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
56 sml*) echo 'exit_use_dir"ex";' | $(BIN)/FOLP;;\ |
61 then echo 'make_html := true; exit_use_dir"ex"; quit();' \ |
|
62 | $(COMP) $(BIN)/FOLP;\ |
|
63 else echo 'exit_use_dir"ex"; quit();' | $(COMP) $(BIN)/FOLP;\ |
|
64 fi;;\ |
|
65 sml*) if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
|
66 then echo 'make_html := true; exit_use_dir"ex";' \ |
|
67 | $(BIN)/FOLP;\ |
|
68 else echo 'exit_use_dir"ex";' | $(BIN)/FOLP;\ |
|
69 fi;;\ |
57 *) echo Bad value for ISABELLECOMP: \ |
70 *) echo Bad value for ISABELLECOMP: \ |
58 $(COMP) is not poly or sml;;\ |
71 $(COMP) is not poly or sml;;\ |
59 esac |
72 esac |
60 |
73 |
61 .PRECIOUS: $(BIN)/Pure $(BIN)/FOLP |
74 .PRECIOUS: $(BIN)/Pure $(BIN)/FOLP |