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
Tue, 13 Sep 2005 22:19:40 +0200
changeset 17356 09afdf37cdb3
parent 17252 e352f65d5893
child 17453 eccff680177d
permissions -rw-r--r--
added cheating, sorry_text (from skip_proofs.ML); added method_setup (from isar_thy.ML);
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
 







4518






74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




     7


## targets













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




     8














74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




     9


default: Cube













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    10


images: Cube













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    11


test: Cube-ex













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    12


all: images test













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    13














74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    14














74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    15


## global settings













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    16














74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    17


SRC = $(ISABELLE_HOME)/src








3118






24dae6222579
fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);



wenzelm


parents: 
2819

diff
changeset




    18


OUT = $(ISABELLE_OUTPUT)








4447






b7ee449eb345
log files;



wenzelm


parents: 
3505

diff
changeset




    19


LOG = $(OUT)/log













b7ee449eb345
log files;



wenzelm


parents: 
3505

diff
changeset




    20









4518






74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    21














74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    22


## Cube













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    23














74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    24


Cube: Pure $(OUT)/Cube








2487






4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    25









4518






74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    26


Pure:













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    27


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













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    28









17252






e352f65d5893
converted to Isar theory format;



wenzelm


parents: 
11260

diff
changeset




    29


$(OUT)/Cube: $(OUT)/Pure Cube.thy ROOT.ML








2819






ebeacfa0e56b
isatool usedir;



wenzelm


parents: 
2487

diff
changeset




    30


	@$(ISATOOL) usedir -b $(OUT)/Pure Cube








2487






4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    31









4518






74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    32














74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    33


## Cube-ex








2487






4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    34









4518






74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    35


Cube-ex: Cube $(LOG)/Cube-ex.gz













74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    36









17252






e352f65d5893
converted to Isar theory format;



wenzelm


parents: 
11260

diff
changeset




    37


$(LOG)/Cube-ex.gz: $(OUT)/Cube ex/ex.thy ex/ROOT.ML








2819






ebeacfa0e56b
isatool usedir;



wenzelm


parents: 
2487

diff
changeset




    38


	@$(ISATOOL) usedir $(OUT)/Cube ex








2487






4f0bf2936bc0
IsaMakefile for Cube;



wenzelm


parents: 

diff
changeset




    39









4518






74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    40














74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    41


## clean








4447






b7ee449eb345
log files;



wenzelm


parents: 
3505

diff
changeset




    42














b7ee449eb345
log files;



wenzelm


parents: 
3505

diff
changeset




    43


clean:








4518






74c01296e818
improved targets;



wenzelm


parents: 
4447

diff
changeset




    44


	@rm -f $(OUT)/Cube $(LOG)/Cube.gz $(LOG)/Cube-ex.gz















isabelle