isabelle-cookbook: ProgTutorial/Helper/IsaMakefile@883ce9c7b13b (annotated)

320 185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	## targets
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	3
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	default: Command
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	images:
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	test: Command
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	7
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	8	all: images test
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	9
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	10
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	11	## global settings
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	12
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	13	SRC = $(ISABELLE_HOME)/src
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	14	OUT = $(ISABELLE_OUTPUT)
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	15	LOG = $(OUT)/log
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	16
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	17	USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf ## -D generated
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	18
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	19
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	20	## Command
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	21
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	22	Command: $(LOG)/HOL-Command.gz
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	23
321 e450fa467e3f polished the commands section Christian Urban <urbanc@in.tum.de> parents: 320 diff changeset	24	$(LOG)/HOL-Command.gz: Command/ROOT.ML Command/*.thy
320 185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	25	@$(USEDIR) HOL Command
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	26
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	27
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	28	## clean
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	29
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	30	clean:
185921021551 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	31	@rm -f $(LOG)/HOL-Command.gz

author	Christian Urban <urbanc@in.tum.de>
	Sun, 16 Jun 2019 14:54:32 +0100
changeset 580	883ce9c7b13b
parent 321	e450fa467e3f
permissions	-rw-r--r--