isabelle: doc-src/Exercises/2000/IsaMakefile@f5d0a66c8124 (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 PSV2000
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
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
f5d0a66c8124 exercise collection kleing parents: diff changeset	14
f5d0a66c8124 exercise collection kleing parents: diff changeset	15	## global settings
f5d0a66c8124 exercise collection kleing parents: diff changeset	16
f5d0a66c8124 exercise collection kleing parents: diff changeset	17	OUT = $(ISABELLE_OUTPUT)
f5d0a66c8124 exercise collection kleing parents: diff changeset	18	LOG = $(OUT)/log
f5d0a66c8124 exercise collection kleing parents: diff changeset	19	INFO = $(ISABELLE_BROWSER_INFO)
f5d0a66c8124 exercise collection kleing parents: diff changeset	20	USEDIR = $(ISATOOL) usedir -v true -i false -d false -D generated
f5d0a66c8124 exercise collection kleing parents: diff changeset	21	RSYNC = rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync
f5d0a66c8124 exercise collection kleing parents: diff changeset	22
f5d0a66c8124 exercise collection kleing parents: diff changeset	23
f5d0a66c8124 exercise collection kleing parents: diff changeset	24	clean:
f5d0a66c8124 exercise collection kleing parents: diff changeset	25	rm -f $(LOG)/HOL-a?.gz $(LOG)/HOL-l?.gz
f5d0a66c8124 exercise collection kleing parents: diff changeset	26
f5d0a66c8124 exercise collection kleing parents: diff changeset	27	## a1
f5d0a66c8124 exercise collection kleing parents: diff changeset	28
f5d0a66c8124 exercise collection kleing parents: diff changeset	29	a1: a1/generated/session.tex
f5d0a66c8124 exercise collection kleing parents: diff changeset	30
f5d0a66c8124 exercise collection kleing parents: diff changeset	31	a1/generated/session.tex: a1/ROOT.ML \
f5d0a66c8124 exercise collection kleing parents: diff changeset	32	a1/*.thy
f5d0a66c8124 exercise collection kleing parents: diff changeset	33	@$(USEDIR) HOL a1
f5d0a66c8124 exercise collection kleing parents: diff changeset	34

author	kleing
	Thu, 05 Dec 2002 17:12:07 +0100
changeset 13739	f5d0a66c8124
permissions	-rw-r--r--