doc-src/Exercises/2000/IsaMakefile
author kleing
Mon, 29 Dec 2003 06:49:26 +0100
changeset 14333 14f29eb097a3
parent 13739 f5d0a66c8124
permissions -rw-r--r--
\<^bsub> .. \<^esub>
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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