nominal2: IsaMakefile@a0f50b34765c (annotated)

597 8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	## targets
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	3
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	default: Quot
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	images:
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	6
601 81f40b8bde7b added "end" to each example theory Christian Urban <urbanc@in.tum.de> parents: 597 diff changeset	7	all: Quot
597 8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	8
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	9
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	## global settings
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	11
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	12	SRC = $(ISABELLE_HOME)/src
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	13	OUT = $(ISABELLE_OUTPUT)
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	14	LOG = $(OUT)/log
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	15
604 0cf166548856 isabelle make tests all examples Christian Urban <urbanc@in.tum.de> parents: 601 diff changeset	16	USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ## -D generated
597 8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	17
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	18	## Quot
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	19
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	20	Quot: $(LOG)/HOL-Quot.gz
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	21
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	22	$(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy
601 81f40b8bde7b added "end" to each example theory Christian Urban <urbanc@in.tum.de> parents: 597 diff changeset	23	@$(USEDIR) HOL-Nominal Quot
597 8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	24
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	25
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	26	## clean
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	27
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	28	clean:
8a1c8dc72b5c directory re-arrangement Christian Urban <urbanc@in.tum.de> parents: diff changeset	29	@rm -f $(LOG)/HOL-Quot.gz

author	Christian Urban <urbanc@in.tum.de>
	Wed, 09 Dec 2009 15:29:36 +0100
changeset 661	a0f50b34765c
parent 604	0cf166548856
child 754	b85875d65b10
permissions	-rw-r--r--