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