doc-src/Exercises/2000/IsaMakefile
changeset 13739 f5d0a66c8124
equal deleted inserted replaced
13738:d48d1716bb6d 13739:f5d0a66c8124
       
     1 #
       
     2 # $Id$
       
     3 #
       
     4 # IsaMakefile for PSV2000
       
     5 #
       
     6 
       
     7 SESSIONS = a1
       
     8 
       
     9 ## targets
       
    10 
       
    11 default: clean sessions 
       
    12 sessions: $(SESSIONS)
       
    13 
       
    14 
       
    15 ## global settings
       
    16 
       
    17 OUT = $(ISABELLE_OUTPUT)
       
    18 LOG = $(OUT)/log
       
    19 INFO = $(ISABELLE_BROWSER_INFO)
       
    20 USEDIR = $(ISATOOL) usedir -v true -i false -d false -D generated
       
    21 RSYNC = rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync
       
    22 
       
    23 
       
    24 clean:
       
    25 	rm -f $(LOG)/HOL-a?.gz $(LOG)/HOL-l?.gz
       
    26 
       
    27 ## a1
       
    28 
       
    29 a1: a1/generated/session.tex
       
    30 
       
    31 a1/generated/session.tex: a1/ROOT.ML \
       
    32   a1/*.thy 
       
    33 	@$(USEDIR) HOL a1
       
    34