isabelle: doc-src/TutorialI/IsaMakefile@0e48e7d4d4f9 (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
8825 0c9cf33d499b improved handling of Isabelle styles (less garbage); wenzelm parents: 8754 diff changeset	7	default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc styles
8743 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
8825 0c9cf33d499b improved handling of Isabelle styles (less garbage); wenzelm parents: 8754 diff changeset	22	styles:
8847 d6c92979fa51 use proper version of pdfsetup.sty; wenzelm parents: 8825 diff changeset	23	@$(ISATOOL) latex -o sty >/dev/null
d6c92979fa51 use proper version of pdfsetup.sty; wenzelm parents: 8825 diff changeset	24	@rm -f pdfsetup.sty
8825 0c9cf33d499b improved handling of Isabelle styles (less garbage); wenzelm parents: 8754 diff changeset	25	@rm -f */document/isabelle.sty
0c9cf33d499b improved handling of Isabelle styles (less garbage); wenzelm parents: 8754 diff changeset	26	@rm -f */document/isabellesym.sty
0c9cf33d499b improved handling of Isabelle styles (less garbage); wenzelm parents: 8754 diff changeset	27	@rm -f */document/pdfsetup.sty
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	28
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	29
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	30	## HOL-Ifexpr
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	31
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	32	HOL-Ifexpr: HOL $(LOG)/HOL-Ifexpr.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	33
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	34	$(LOG)/HOL-Ifexpr.gz: $(OUT)/HOL Ifexpr/Ifexpr.thy Ifexpr/ROOT.ML
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	35	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Ifexpr
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	36	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	37
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	38	## HOL-ToyList
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	39
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	40	HOL-ToyList: HOL $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	41
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	42	ToyList2/ToyList.thy: ToyList2/ToyList1 ToyList2/ToyList2
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	43	cat ToyList2/ToyList1 ToyList2/ToyList2 > ToyList2/ToyList.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	44
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	45	$(LOG)/HOL-ToyList2.gz: $(OUT)/HOL ToyList2/ToyList.thy ToyList2/ROOT.ML
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	46	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL ToyList2
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	47	@rm -f tutorial.dvi
8743 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-ToyList.gz: $(OUT)/HOL ToyList/ToyList.thy ToyList/ROOT.ML
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	50	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL ToyList
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	## HOL-CodeGen
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	54
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	55	HOL-CodeGen: HOL $(LOG)/HOL-CodeGen.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	56
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	57	$(LOG)/HOL-CodeGen.gz: $(OUT)/HOL CodeGen/CodeGen.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	58	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL CodeGen
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	59	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	60
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	61
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	62	## HOL-Datatype
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	63
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	64	HOL-Datatype: HOL $(LOG)/HOL-Datatype.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	65
8751 9ed0548177fb * empty log message * nipkow parents: 8743 diff changeset	66	$(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy \
9ed0548177fb * empty log message * nipkow parents: 8743 diff changeset	67	Datatype/Nested.thy Datatype/unfoldnested.thy Datatype/Fundata.thy
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	68	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Datatype
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	69	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	70
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	71
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	72	## HOL-Trie
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	73
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	74	HOL-Trie: HOL $(LOG)/HOL-Trie.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	75
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	76	$(LOG)/HOL-Trie.gz: $(OUT)/HOL Trie/Option2.thy Trie/Trie.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	77	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Trie
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	78	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	79
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	80
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	81	## HOL-Recdef
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	82
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	83	HOL-Recdef: HOL $(LOG)/HOL-Recdef.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	84
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	85	$(LOG)/HOL-Recdef.gz: $(OUT)/HOL Recdef/examples.thy Recdef/termination.thy \
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	86	Recdef/simplification.thy Recdef/Induction.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	87	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Recdef
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	88	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	89
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	90
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	91	## HOL-Misc
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	92
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	93	HOL-Misc: HOL $(LOG)/HOL-Misc.gz
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	94
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	95	$(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	96	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	97	Misc/arith1.thy Misc/arith2.thy Misc/arith3.thy Misc/arith4.thy \
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	98	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	99	Misc/trace_simp.thy Misc/Itrev.thy Misc/asm_simp.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	100	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	101	@rm -f tutorial.dvi
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	102
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	103
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	104	## clean
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	105
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	106	clean:
8754 42ce93ada11e * empty log message * nipkow parents: 8751 diff changeset	107	@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	kleing
	Wed, 07 Jun 2000 17:14:19 +0200
changeset 9054	0e48e7d4d4f9
parent 8847	d6c92979fa51
child 9493	494f8cd34df7
permissions	-rw-r--r--