isabelle: doc-src/AxClass/IsaMakefile@3b2b18c58d80 (annotated)

8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	1
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	2	## targets
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	3
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	4	default: Group Nat
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	5	images:
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	6	test: Group Nat
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	7
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	8	all: images test
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	9
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	10
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	11	## global settings
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	12
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	13	SRC = $(ISABELLE_HOME)/src
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	14	OUT = $(ISABELLE_OUTPUT)
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	15	LOG = $(OUT)/log
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	16	USEDIR = $(ISATOOL) usedir -i true -d dvi -D ../generated
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	17
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	18
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	19	## Group
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	20
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	21	Group: HOL $(LOG)/HOL-Group.gz
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	22
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	23	HOL:
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	24	@cd $(SRC)/HOL; $(ISATOOL) make HOL
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	25
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	26	$(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/document/root.tex \
8906 fc7841f31388 tuned; wenzelm parents: 8890 diff changeset	27	Group/Group.thy Group/Product.thy Group/Semigroups.thy
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	28	@$(USEDIR) $(OUT)/HOL Group
8906 fc7841f31388 tuned; wenzelm parents: 8890 diff changeset	29	@rm -f generated/pdfsetup.sty generated/session.tex
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	30
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	31
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	32	## Nat
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	33
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	34	Nat: FOL $(LOG)/FOL-Nat.gz
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	35
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	36	FOL:
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	37	@cd $(SRC)/FOL; $(ISATOOL) make FOL
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	38
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	39	$(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/document/root.tex \
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	40	Nat/NatClass.ML Nat/NatClass.thy
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	41	@$(USEDIR) $(OUT)/FOL Nat
8906 fc7841f31388 tuned; wenzelm parents: 8890 diff changeset	42	@rm -f generated/pdfsetup.sty generated/session.tex
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	43
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	44
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	45	## clean
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	46
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	47	clean:
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: diff changeset	48	@rm -f $(LOG)/HOL-Group.gz $(LOG)/FOL-Nat.gz

author	nipkow
	Thu, 11 Jul 2002 09:17:01 +0200
changeset 13343	3b2b18c58d80
parent 8906	fc7841f31388
child 17129	228eec5f5502
permissions	-rw-r--r--