isabelle: doc-src/TutorialI/IsaMakefile@42ce93ada11e (annotated)

8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	1	#
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	2	# IsaMakefile for Tutorial
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	3	#
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	4
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	5	## targets
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	6
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	7	default: styles HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	8
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	9
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	10	## global settings
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	11
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	12	SRC = $(ISABELLE_HOME)/src
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	13	OUT = $(ISABELLE_OUTPUT)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	14	LOG = $(OUT)/log
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	15
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	16
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	17	## HOL
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	18
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	19	HOL:
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	20	@cd $(SRC)/HOL; $(ISATOOL) make HOL
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	21
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	22	styles: isabelle.sty isabellesym.sty pdfsetup.sty
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	23
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	24	isabelle.sty: $(ISABELLE_HOME)/lib/texinputs/isabelle.sty
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	25	cp $(ISABELLE_HOME)/lib/texinputs/isabelle.sty .
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	26
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	27	isabellesym.sty: $(ISABELLE_HOME)/lib/texinputs/isabellesym.sty
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	28	cp $(ISABELLE_HOME)/lib/texinputs/isabellesym.sty .
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	29
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	30	pdfsetup.sty: $(ISABELLE_HOME)/lib/texinputs/pdfsetup.sty
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	31	cp $(ISABELLE_HOME)/lib/texinputs/pdfsetup.sty .
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	32
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	33
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	34	## HOL-Ifexpr
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	35
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	36	HOL-Ifexpr: HOL $(LOG)/HOL-Ifexpr.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	37
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	38	$(LOG)/HOL-Ifexpr.gz: $(OUT)/HOL Ifexpr/Ifexpr.thy Ifexpr/ROOT.ML
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	39	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Ifexpr
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	40	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	41
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	42	## HOL-ToyList
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	43
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	44	HOL-ToyList: HOL $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	45
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	46	ToyList2/ToyList.thy: ToyList2/ToyList1 ToyList2/ToyList2
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	47	cat ToyList2/ToyList1 ToyList2/ToyList2 > ToyList2/ToyList.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	48
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	49	$(LOG)/HOL-ToyList2.gz: $(OUT)/HOL ToyList2/ToyList.thy ToyList2/ROOT.ML
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	50	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL ToyList2
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	51	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	52
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	53	$(LOG)/HOL-ToyList.gz: $(OUT)/HOL ToyList/ToyList.thy ToyList/ROOT.ML
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	54	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL ToyList
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	55	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	56
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	57	## HOL-CodeGen
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	58
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	59	HOL-CodeGen: HOL $(LOG)/HOL-CodeGen.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	60
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	61	$(LOG)/HOL-CodeGen.gz: $(OUT)/HOL CodeGen/CodeGen.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	62	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL CodeGen
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	63	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	64
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	65
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	66	## HOL-Datatype
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	67
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	68	HOL-Datatype: HOL $(LOG)/HOL-Datatype.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	69
8751 9ed0548177fb * empty log message * nipkow parents: 8743 diff changeset	70	$(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy \
9ed0548177fb * empty log message * nipkow parents: 8743 diff changeset	71	Datatype/Nested.thy Datatype/unfoldnested.thy Datatype/Fundata.thy
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	72	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Datatype
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	73	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	74
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	75
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	76	## HOL-Trie
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	77
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	78	HOL-Trie: HOL $(LOG)/HOL-Trie.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	79
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	80	$(LOG)/HOL-Trie.gz: $(OUT)/HOL Trie/Option2.thy Trie/Trie.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	81	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Trie
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	82	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	83
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	84
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	85	## HOL-Recdef
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	86
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	87	HOL-Recdef: HOL $(LOG)/HOL-Recdef.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	88
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	89	$(LOG)/HOL-Recdef.gz: $(OUT)/HOL Recdef/examples.thy Recdef/termination.thy \
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	90	Recdef/simplification.thy Recdef/Induction.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	91	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Recdef
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	92	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	93
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	94
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	95	## HOL-Misc
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	96
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	97	HOL-Misc: HOL $(LOG)/HOL-Misc.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	98
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	99	$(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/cases.thy \
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	100	Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/types.thy Misc/prime_def.thy \
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	101	Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy Misc/arith4.thy \
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	102	Misc/def_rewr.thy Misc/let_rewr.thy Misc/cond_rewr.thy Misc/case_splits.thy \
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	103	Misc/trace_simp.thy Misc/Itrev.thy Misc/asm_simp.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	104	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	105	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	106
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	107
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	108	## clean
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	109
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	110	clean:
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	111	@rm -f tutorial.dvi $(LOG)/HOL-Ifexpr.gz $(LOG)/HOL-CodeGen.gz $(LOG)/HOL-Misc.gz $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz $(LOG)/HOL-Trie.gz $(LOG)/HOL-Datatype.gz $(LOG)/HOL-Recdef.gz

author	nipkow
	Thu, 20 Apr 2000 09:54:56 +0200
changeset 8754	42ce93ada11e
parent 8751	9ed0548177fb
child 8825	0c9cf33d499b
permissions	-rw-r--r--