nominal2: IsaMakefile@95df71c3df2f (annotated)

1261 853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	## targets
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	3
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	default: Nominal2
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	images:
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	6
1785 95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	7	all: Nominal2 paper pearl pearl-jv
1261 853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	8
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	9
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	## global settings
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	11
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	12	SRC = $(ISABELLE_HOME)/src
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	13	OUT = $(ISABELLE_OUTPUT)
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	14	LOG = $(OUT)/log
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	15
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	16	USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ##-D generated
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	17
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	18
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	19	## Nominal2
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	20
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	21	Nominal2: $(LOG)/HOL-Nominal2.gz
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	22
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	23	$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
1491 f970ca9b5bec paper uses now a heap file - does not compile so long anymore Christian Urban <urbanc@in.tum.de> parents: 1484 diff changeset	24	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal
1261 853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	25
1772 48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	26	## Nominal2 Paper
48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	27
1261 853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	28	paper: $(LOG)/HOL-Nominal2-Paper.gz
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	29
1775 86122d793f32 typos in paper Christian Urban <urbanc@in.tum.de> parents: 1774 diff changeset	30	$(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy
1491 f970ca9b5bec paper uses now a heap file - does not compile so long anymore Christian Urban <urbanc@in.tum.de> parents: 1484 diff changeset	31	@$(USEDIR) -D generated Nominal Paper
1484 dc7b049d9072 made paper to compile Christian Urban <urbanc@in.tum.de> parents: 1261 diff changeset	32	$(ISABELLE_TOOL) document -o pdf Paper/generated
1261 853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	33	@cp Paper/document.pdf paper.pdf
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	34
1785 95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	35	## Pearl Paper ITP
1772 48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	36
48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	37	pearl: $(LOG)/HOL-Pearl.gz
48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	38
1775 86122d793f32 typos in paper Christian Urban <urbanc@in.tum.de> parents: 1774 diff changeset	39	$(LOG)/HOL-Pearl.gz: Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy
1772 48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	40	@$(USEDIR) -D generated HOL Pearl
48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	41	$(ISABELLE_TOOL) document -o pdf Pearl/generated
48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	42	@cp Pearl/document.pdf pearl.pdf
48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	43
1785 95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	44	## Pearl Journal Paper
95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	45
95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	46	pearl-jv: $(LOG)/HOL-Pearl-jv.gz
95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	47
95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	48	$(LOG)/HOL-Pearl-jv.gz: Pearl-jv/ROOT.ML Pearl-jv/document/root.* Pearl-jv/*.thy
95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	49	@$(USEDIR) -D generated HOL Pearl-jv
95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	50	$(ISABELLE_TOOL) document -o pdf Pearl-jv/generated
95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	51	@cp Pearl-jv/document.pdf pearl-jv.pdf
95df71c3df2f added new paper directory for further work Christian Urban <urbanc@in.tum.de> parents: 1775 diff changeset	52
1772 48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	53
1261 853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	54	## clean
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	55
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	56	clean:
1772 48c2eb84d5ce merged pearl paper with this repository; started litrature subdirectory Christian Urban <urbanc@in.tum.de> parents: 1491 diff changeset	57	@rm -f $(LOG)/HOL-Nominal2.gz $(LOG)/HOL-Pearl.gz

author	Christian Urban <urbanc@in.tum.de>
	Thu, 08 Apr 2010 09:12:13 +0200 (2010-04-08)
changeset 1785	95df71c3df2f
parent 1775	86122d793f32
child 1975	b1281a0051ae
permissions	-rw-r--r--