equal
deleted
inserted
replaced
|
1 # $Id$ |
1 ######################################################################### |
2 ######################################################################### |
2 # # |
3 # # |
3 # Makefile for Isabelle (CTT) # |
4 # Makefile for Isabelle (CTT) # |
4 # # |
5 # # |
5 ######################################################################### |
6 ######################################################################### |
6 |
7 |
7 #To make the system, cd to this directory and type |
8 #To make the system, cd to this directory and type |
8 # make -f Makefile |
9 # make |
9 #To make the system and test it on standard examples, type |
10 #To make the system and test it on standard examples, type |
10 # make -f Makefile test |
11 # make test |
|
12 #To generate HTML files for every theory, set the environment variable |
|
13 #MAKE_HTML or add the parameter "MAKE_HTML=". |
11 |
14 |
12 #Environment variable ISABELLECOMP specifies the compiler. |
15 #Environment variable ISABELLECOMP specifies the compiler. |
13 #Environment variable ISABELLEBIN specifies the destination directory. |
16 #Environment variable ISABELLEBIN specifies the destination directory. |
14 #For Poly/ML, ISABELLEBIN must begin with a / |
17 #For Poly/ML, ISABELLEBIN must begin with a / |
15 |
18 |
30 exit 1; \ |
33 exit 1; \ |
31 fi;\ |
34 fi;\ |
32 case "$(COMP)" in \ |
35 case "$(COMP)" in \ |
33 poly*) echo 'make_database"$(BIN)/CTT"; quit();' \ |
36 poly*) echo 'make_database"$(BIN)/CTT"; quit();' \ |
34 | $(COMP) $(BIN)/Pure;\ |
37 | $(COMP) $(BIN)/Pure;\ |
35 echo 'open PolyML; exit_use"ROOT";' | $(COMP) $(BIN)/CTT ;;\ |
38 if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
36 sml*) echo 'exit_use"ROOT.ML"; xML"$(BIN)/CTT" banner;' | $(BIN)/Pure ;;\ |
39 then echo 'open PolyML; init_html (); exit_use"ROOT";' \ |
|
40 | $(COMP) $(BIN)/CTT;\ |
|
41 else echo 'open PolyML; exit_use"ROOT";' | $(COMP) $(BIN)/CTT;\ |
|
42 fi;;\ |
|
43 sml*) if [ "$${MAKE_HTML-undefined}" != "undefined" ];\ |
|
44 then echo 'init_html (); exit_use"ROOT.ML"; xML"$(BIN)/CTT" banner;' | $(BIN)/Pure;\ |
|
45 else echo 'exit_use"ROOT.ML"; xML"$(BIN)/CTT" banner;' \ |
|
46 | $(BIN)/Pure;\ |
|
47 fi;;\ |
37 *) echo Bad value for ISABELLECOMP: \ |
48 *) echo Bad value for ISABELLECOMP: \ |
38 $(COMP) is not poly or sml;;\ |
49 $(COMP) is not poly or sml;;\ |
39 esac |
50 esac |
40 |
51 |
41 $(BIN)/Pure: |
52 $(BIN)/Pure: |