isabelle: doc-src/Exercises/2001/IsaMakefile@801178863f17 (annotated)

13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	1	#
f5d0a66c8124 exercise collection kleing parents: diff changeset	2	# $Id$
f5d0a66c8124 exercise collection kleing parents: diff changeset	3	#
f5d0a66c8124 exercise collection kleing parents: diff changeset	4	# IsaMakefile for PSV2001
f5d0a66c8124 exercise collection kleing parents: diff changeset	5	#
f5d0a66c8124 exercise collection kleing parents: diff changeset	6
f5d0a66c8124 exercise collection kleing parents: diff changeset	7	SESSIONS = a1 a2 a3 a5
f5d0a66c8124 exercise collection kleing parents: diff changeset	8
f5d0a66c8124 exercise collection kleing parents: diff changeset	9	## targets
f5d0a66c8124 exercise collection kleing parents: diff changeset	10
f5d0a66c8124 exercise collection kleing parents: diff changeset	11	default: clean sessions
f5d0a66c8124 exercise collection kleing parents: diff changeset	12	sessions: $(SESSIONS)
f5d0a66c8124 exercise collection kleing parents: diff changeset	13	# all: sessions
f5d0a66c8124 exercise collection kleing parents: diff changeset	14
f5d0a66c8124 exercise collection kleing parents: diff changeset	15
f5d0a66c8124 exercise collection kleing parents: diff changeset	16	## global settings
f5d0a66c8124 exercise collection kleing parents: diff changeset	17
f5d0a66c8124 exercise collection kleing parents: diff changeset	18
f5d0a66c8124 exercise collection kleing parents: diff changeset	19	SRC = $(ISABELLE_HOME)/src
f5d0a66c8124 exercise collection kleing parents: diff changeset	20	OUT = $(ISABELLE_OUTPUT)
f5d0a66c8124 exercise collection kleing parents: diff changeset	21	LOG = $(OUT)/log
f5d0a66c8124 exercise collection kleing parents: diff changeset	22	INFO = $(ISABELLE_BROWSER_INFO)
f5d0a66c8124 exercise collection kleing parents: diff changeset	23	USEDIR = $(ISATOOL) usedir -v true -i false -d false -D generated
f5d0a66c8124 exercise collection kleing parents: diff changeset	24	RSYNC = rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync
f5d0a66c8124 exercise collection kleing parents: diff changeset	25	WWW = www4.in.tum.de:/home/html/wbroy/html-data/lehre/praktika/psv
f5d0a66c8124 exercise collection kleing parents: diff changeset	26
f5d0a66c8124 exercise collection kleing parents: diff changeset	27
f5d0a66c8124 exercise collection kleing parents: diff changeset	28	# reomve old log files
f5d0a66c8124 exercise collection kleing parents: diff changeset	29	clean:
f5d0a66c8124 exercise collection kleing parents: diff changeset	30	rm -f $(LOG)/HOL-a?.gz $(LOG)/HOL-l?.gz
f5d0a66c8124 exercise collection kleing parents: diff changeset	31
f5d0a66c8124 exercise collection kleing parents: diff changeset	32	## provide style.tex
f5d0a66c8124 exercise collection kleing parents: diff changeset	33
f5d0a66c8124 exercise collection kleing parents: diff changeset	34	style:
f5d0a66c8124 exercise collection kleing parents: diff changeset	35	@for D in $(SESSIONS); do test -d $$D/document && { test -r $$D/document/style.tex \|\| ln -s ../../style.tex $$D/document/style.tex; } done;
f5d0a66c8124 exercise collection kleing parents: diff changeset	36
f5d0a66c8124 exercise collection kleing parents: diff changeset	37
f5d0a66c8124 exercise collection kleing parents: diff changeset	38	## a1
f5d0a66c8124 exercise collection kleing parents: diff changeset	39
f5d0a66c8124 exercise collection kleing parents: diff changeset	40	a1: a1/generated/session.tex
f5d0a66c8124 exercise collection kleing parents: diff changeset	41
f5d0a66c8124 exercise collection kleing parents: diff changeset	42	a1/generated/session.tex: a1/ROOT.ML \
f5d0a66c8124 exercise collection kleing parents: diff changeset	43	a1/*.thy
f5d0a66c8124 exercise collection kleing parents: diff changeset	44	@$(USEDIR) HOL a1
f5d0a66c8124 exercise collection kleing parents: diff changeset	45
f5d0a66c8124 exercise collection kleing parents: diff changeset	46	## a2
f5d0a66c8124 exercise collection kleing parents: diff changeset	47
f5d0a66c8124 exercise collection kleing parents: diff changeset	48	a2: a2/generated/session.tex
f5d0a66c8124 exercise collection kleing parents: diff changeset	49
f5d0a66c8124 exercise collection kleing parents: diff changeset	50	a2/generated/session.tex: a2/ROOT.ML \
f5d0a66c8124 exercise collection kleing parents: diff changeset	51	a2/*.thy
f5d0a66c8124 exercise collection kleing parents: diff changeset	52	@$(USEDIR) HOL a2
f5d0a66c8124 exercise collection kleing parents: diff changeset	53
f5d0a66c8124 exercise collection kleing parents: diff changeset	54	## a3
f5d0a66c8124 exercise collection kleing parents: diff changeset	55
f5d0a66c8124 exercise collection kleing parents: diff changeset	56	a3: a3/generated/session.tex
f5d0a66c8124 exercise collection kleing parents: diff changeset	57
f5d0a66c8124 exercise collection kleing parents: diff changeset	58	a3/generated/session.tex: a3/ROOT.ML \
f5d0a66c8124 exercise collection kleing parents: diff changeset	59	a3/*.thy
f5d0a66c8124 exercise collection kleing parents: diff changeset	60	@$(USEDIR) HOL a3
f5d0a66c8124 exercise collection kleing parents: diff changeset	61
f5d0a66c8124 exercise collection kleing parents: diff changeset	62	## a5
f5d0a66c8124 exercise collection kleing parents: diff changeset	63
f5d0a66c8124 exercise collection kleing parents: diff changeset	64	a5: a5/generated/session.tex
f5d0a66c8124 exercise collection kleing parents: diff changeset	65
f5d0a66c8124 exercise collection kleing parents: diff changeset	66	a5/generated/session.tex: a5/ROOT.ML \
f5d0a66c8124 exercise collection kleing parents: diff changeset	67	a5/*.thy
f5d0a66c8124 exercise collection kleing parents: diff changeset	68	@$(USEDIR) HOL a5
f5d0a66c8124 exercise collection kleing parents: diff changeset	69

author	wenzelm
	Wed, 16 Jun 2004 20:42:22 +0200
changeset 14958	801178863f17
parent 13739	f5d0a66c8124
permissions	-rw-r--r--