Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Cube/IsaMakefile
author wenzelm
Fri, 07 Mar 1997 11:48:46 +0100
changeset 2754 59bd96046ad6
parent 2487 4f0bf2936bc0
child 2819 ebeacfa0e56b
permissions -rw-r--r--
moved settings comment to build;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2487
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset 
     1
 
#
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset 
     2
 
# $Id$
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset 
     3
 
#
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset 
     4
 
# IsaMakefile for Cube
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset 
     5
 
#
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset 
     6
 












4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




     7


OUT = $(ISABELLE_OUTPUT_DIR)













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




     8


FILES =	ROOT.ML Cube.thy Cube.ML













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




     9














4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    10


$(OUT)/Cube: $(OUT)/Pure $(FILES)













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    11


	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure Cube













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    12


	@chmod -w $@













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    13














4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    14


$(OUT)/Pure:













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    15


	@cd ../Pure; $(ISATOOL) make













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    16














4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    17


test: ex.ML $(OUT)/Cube













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    18


	@$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    19


	  -rq $(OUT)/Cube













4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    20














4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    21


.PRECIOUS: $(OUT)/Pure $(OUT)/Cube















isabelle