src/CCL/IsaMakefile
author wenzelm
Sat May 15 22:15:57 2010 +0200 (2010-05-15)
changeset 36948 d2cdad45fd14
parent 36862 952b2b102a0a
child 42138 e54a985daa61
permissions -rw-r--r--
renamed Outer_Parse to Parse (in Scala);
     1 #
     2 # IsaMakefile for CCL
     3 #
     4 
     5 ## targets
     6 
     7 default: CCL
     8 images: CCL
     9 test: CCL-ex
    10 all: images test
    11 
    12 
    13 ## global settings
    14 
    15 SRC = $(ISABELLE_HOME)/src
    16 OUT = $(ISABELLE_OUTPUT)
    17 LOG = $(OUT)/log
    18 
    19 
    20 ## CCL
    21 
    22 CCL: FOL $(OUT)/CCL
    23 
    24 FOL:
    25 	@cd $(SRC)/FOL; $(ISABELLE_TOOL) make FOL
    26 
    27 $(OUT)/FOL: FOL
    28 
    29 $(OUT)/CCL: $(OUT)/FOL CCL.thy Fix.thy Gfp.thy Hered.thy Lfp.thy ROOT.ML \
    30   Set.thy Term.thy Trancl.thy Type.thy Wfd.thy
    31 	@$(ISABELLE_TOOL) usedir -b -r $(OUT)/FOL CCL
    32 
    33 
    34 ## CCL-ex
    35 
    36 CCL-ex: CCL $(LOG)/CCL-ex.gz
    37 
    38 $(LOG)/CCL-ex.gz: $(OUT)/CCL ex/Flag.thy ex/List.thy ex/Nat.thy ex/ROOT.ML \
    39   ex/Stream.thy
    40 	@$(ISABELLE_TOOL) usedir $(OUT)/CCL ex
    41 
    42 
    43 ## clean
    44 
    45 clean:
    46 	@rm -f $(OUT)/CCL $(LOG)/CCL.gz $(LOG)/CCL-ex.gz