isabelle: src/FOL/IsaMakefile@ed7bced29e1b (annotated)

2433 91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	1	#
91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	2	# $Id$
91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	3	#
91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	4	# IsaMakefile for FOL
91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	5	#
91016075afe8 IsaMakefile for FOL; 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: FOL
74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	10	images: FOL
74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	11	test: FOL-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: 2889 diff changeset	18	OUT = $(ISABELLE_OUTPUT)
4447 b7ee449eb345 log files; wenzelm parents: 4349 diff changeset	19	LOG = $(OUT)/log
2433 91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	20
3233 16a24111ab5a new treatment of Prover files paulson parents: 3118 diff changeset	21
4518 74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	22	## FOL
74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	23
17821 daffb154f73e ML_SUFFIX in targets (experimental); wenzelm parents: 16831 diff changeset	24	FOL: Pure $(OUT)/FOL$(ML_SUFFIX)
2433 91016075afe8 IsaMakefile for FOL; 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
2433 91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	28
17821 daffb154f73e ML_SUFFIX in targets (experimental); wenzelm parents: 16831 diff changeset	29	$(OUT)/Pure$(ML_SUFFIX): Pure
13301 c505fc950cbe added dependency for $(OUT)/Pure kleing parents: 12526 diff changeset	30
18482 ac8456b4080c added Provers/project_rule.ML wenzelm parents: 18203 diff changeset	31	$(OUT)/FOL$(ML_SUFFIX): $(OUT)/Pure$(ML_SUFFIX) $(SRC)/Provers/blast.ML \
16019 0e1405402d53 Simplifier already setup in Pure; wenzelm parents: 15596 diff changeset	32	$(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
19839 1704c66e5e7e updated IsaMakefiles for new location of IsaPlanner. dixon parents: 19820 diff changeset	33	$(SRC)/Provers/IsaPlanner/zipper.ML \
1704c66e5e7e updated IsaMakefiles for new location of IsaPlanner. dixon parents: 19820 diff changeset	34	$(SRC)/Provers/IsaPlanner/isand.ML \
1704c66e5e7e updated IsaMakefiles for new location of IsaPlanner. dixon parents: 19820 diff changeset	35	$(SRC)/Provers/IsaPlanner/rw_tools.ML \
1704c66e5e7e updated IsaMakefiles for new location of IsaPlanner. dixon parents: 19820 diff changeset	36	$(SRC)/Provers/IsaPlanner/rw_inst.ML \
16019 0e1405402d53 Simplifier already setup in Pure; wenzelm parents: 15596 diff changeset	37	$(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML \
0e1405402d53 Simplifier already setup in Pure; wenzelm parents: 15596 diff changeset	38	$(SRC)/Provers/ind.ML $(SRC)/Provers/induct_method.ML \
18529 540da2415751 removed obsolete Provers/make_elim.ML; wenzelm parents: 18482 diff changeset	39	$(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \
540da2415751 removed obsolete Provers/make_elim.ML; wenzelm parents: 18482 diff changeset	40	$(SRC)/Provers/splitter.ML FOL.ML FOL.thy FOL_lemmas1.ML IFOL.ML \
540da2415751 removed obsolete Provers/make_elim.ML; wenzelm parents: 18482 diff changeset	41	IFOL.thy IFOL_lemmas.ML ROOT.ML blastdata.ML cladata.ML \
18596 1e876583e247 removed obsolete eqrule_FOL_data.ML; wenzelm parents: 18529 diff changeset	42	document/root.tex fologic.ML hypsubstdata.ML intprover.ML simpdata.ML
18203 9bd26bda96ef FOL: -p 2; wenzelm parents: 17821 diff changeset	43	@$(ISATOOL) usedir -p 2 -b $(OUT)/Pure FOL
2433 91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	44
4518 74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	45
74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	46	## FOL-ex
74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	47
74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	48	FOL-ex: FOL $(LOG)/FOL-ex.gz
2433 91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	49
17821 daffb154f73e ML_SUFFIX in targets (experimental); wenzelm parents: 16831 diff changeset	50	$(LOG)/FOL-ex.gz: $(OUT)/FOL$(ML_SUFFIX) ex/First_Order_Logic.thy \
16831 9ef92b7a2210 removed FOL/ex/IffOracle.ML; wenzelm parents: 16168 diff changeset	51	ex/If.thy ex/IffOracle.thy ex/List.ML ex/List.thy ex/LocaleTest.thy \
19820 0d7564c798d0 removed obsolete ML files; wenzelm parents: 19819 diff changeset	52	ex/Nat.thy ex/Nat2.ML ex/Nat2.thy ex/Natural_Numbers.thy ex/Miniscope.thy \
0d7564c798d0 removed obsolete ML files; wenzelm parents: 19819 diff changeset	53	ex/Prolog.thy ex/ROOT.ML ex/Classical.thy ex/document/root.tex \
19819 14de4d05d275 removed obsolete ML files; wenzelm parents: 18596 diff changeset	54	ex/Foundation.thy ex/Intuitionistic.thy ex/Intro.thy ex/prop.ML ex/quant.ML
2821 b1dcacc4bc26 isatool usedir; wenzelm parents: 2472 diff changeset	55	@$(ISATOOL) usedir $(OUT)/FOL ex
2433 91016075afe8 IsaMakefile for FOL; wenzelm parents: diff changeset	56
4518 74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	57
74c01296e818 improved targets; wenzelm parents: 4447 diff changeset	58	## clean
4447 b7ee449eb345 log files; wenzelm parents: 4349 diff changeset	59
b7ee449eb345 log files; wenzelm parents: 4349 diff changeset	60	clean:
17821 daffb154f73e ML_SUFFIX in targets (experimental); wenzelm parents: 16831 diff changeset	61	@rm -f $(OUT)/FOL$(ML_SUFFIX) $(LOG)/FOL.gz $(LOG)/FOL-ex.gz

author	ballarin
	Wed, 19 Jul 2006 19:25:58 +0200
changeset 20168	ed7bced29e1b
parent 19839	1704c66e5e7e
child 21539	c5cf9243ad62
permissions	-rw-r--r--