isabelle: doc-src/TutorialI/IsaMakefile@4e2ee88276d2 (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
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	7	default: HOL-Tutorial HOL-ToyList2
9520 73f1c6685367 targets for images, test, all; wenzelm parents: 9493 diff changeset	8	images:
73f1c6685367 targets for images, test, all; wenzelm parents: 9493 diff changeset	9	test:
73f1c6685367 targets for images, test, all; wenzelm parents: 9493 diff changeset	10	all: default
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	11
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	12
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	13	## global settings
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	14
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	15	SRC = $(ISABELLE_HOME)/src
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	16	OUT = $(ISABELLE_OUTPUT)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	17	LOG = $(OUT)/log
32835 00c14c4a6b4f enable slow-motion mode to accomodate unsynchronized refs within theory sources; wenzelm parents: 31676 diff changeset	18	OPTIONS = -m brackets -i true -d "" -D document -M 1
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	19	USEDIR = @$(ISABELLE_TOOL) usedir $(OPTIONS)
11617 9ab0792b2da4 tuned; wenzelm parents: 11428 diff changeset	20
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	21
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	22	## HOL
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	23
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	24	HOL:
28500 4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL; wenzelm parents: 27423 diff changeset	25	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	26
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	27
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	28	## HOL-Tutorial
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	29
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	30	HOL-Tutorial: HOL $(LOG)/HOL-Tutorial.gz
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	31
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	32	$(LOG)/HOL-Tutorial.gz: $(OUT)/HOL ROOT.ML Ifexpr/Ifexpr.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	33	ToyList2/ToyList.thy CodeGen/CodeGen.thy Datatype/ABexpr.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	34	Datatype/Nested.thy Datatype/unfoldnested.thy Datatype/Fundata.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	35	Trie/Trie.thy Fun/fun0.thy Advanced/simp2.thy Rules/Basic.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	36	Rules/Blast.thy Rules/Force.thy Rules/Primes.thy Rules/Forward.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	37	Rules/Tacticals.thy Rules/find2.thy Sets/Examples.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	38	Sets/Functions.thy Sets/Recur.thy Sets/Relations.thy CTL/Base.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	39	CTL/PDL.thy CTL/CTL.thy CTL/CTLind.thy Inductive/Even.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	40	Inductive/Mutual.thy Inductive/Star.thy Inductive/AB.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	41	Inductive/Advanced.thy Types/Numbers.thy Types/Pairs.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	42	Types/Records.thy Types/Typedefs.thy Types/Overloading.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	43	Types/Axioms.thy Misc/Tree.thy Misc/Tree2.thy Misc/Plus.thy \
48524 5af593945522 avoid clash of Misc/pairs.thy and Types/Pairs.thy on case-insensible file-system; wenzelm parents: 48519 diff changeset	44	Misc/fakenat.thy Misc/natsum.thy Misc/pairs2.thy Misc/Option2.thy \
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	45	Misc/types.thy Misc/prime_def.thy Misc/case_exprs.thy Misc/simp.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	46	Misc/Itrev.thy Misc/AdvancedInd.thy Misc/appendix.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	47	Protocol/Message.thy Protocol/Event.thy Protocol/Public.thy \
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	48	Protocol/NS_Public.thy Documents/Documents.thy
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	49	$(USEDIR) -s Tutorial $(OUT)/HOL .
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	50
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	51
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	52	## HOL-ToyList2
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	53
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	54	HOL-ToyList2: HOL $(LOG)/HOL-ToyList2.gz
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	55
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	56	ToyList2/ToyList.thy: ToyList2/ToyList1 ToyList2/ToyList2
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	57	cat ToyList2/ToyList1 ToyList2/ToyList2 > ToyList2/ToyList.thy
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	58
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	59	$(LOG)/HOL-ToyList2.gz: $(OUT)/HOL ToyList2/ROOT.ML
5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	60	$(USEDIR) $(OUT)/HOL ToyList2
10296 0c5907082459 now includes Rules, Sets (?) paulson parents: 10225 diff changeset	61
11647 0538cb0f7999 initial setup for chapter on document preparation; wenzelm parents: 11617 diff changeset	62
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	63	## clean
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	64
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	65	clean:
48519 5deda0549f97 simplified Tutorial sessions; wenzelm parents: 48506 diff changeset	66	@rm -f tutorial.dvi $(LOG)/HOL-Tutorial.gz $(LOG)/HOL-ToyList2.gz

author	wenzelm
	Thu, 26 Jul 2012 19:59:06 +0200
changeset 48536	4e2ee88276d2
parent 48524	5af593945522
permissions	-rw-r--r--