src/CTT/Makefile
changeset 1294 1358dc040edb
parent 953 17d7fad9c9a2
child 1361 90d615b599d9
equal deleted inserted replaced
1293:4ade5d1d369c 1294:1358dc040edb
       
     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: