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);
wenzelm@2489
     1
#
wenzelm@2489
     2
# IsaMakefile for CCL
wenzelm@2489
     3
#
wenzelm@2489
     4
wenzelm@4518
     5
## targets
wenzelm@4518
     6
wenzelm@4518
     7
default: CCL
wenzelm@4518
     8
images: CCL
wenzelm@4518
     9
test: CCL-ex
wenzelm@4518
    10
all: images test
wenzelm@4518
    11
wenzelm@4518
    12
wenzelm@4518
    13
## global settings
wenzelm@4518
    14
wenzelm@4518
    15
SRC = $(ISABELLE_HOME)/src
wenzelm@3118
    16
OUT = $(ISABELLE_OUTPUT)
wenzelm@4447
    17
LOG = $(OUT)/log
wenzelm@2489
    18
wenzelm@4518
    19
wenzelm@4518
    20
## CCL
wenzelm@4518
    21
wenzelm@4518
    22
CCL: FOL $(OUT)/CCL
wenzelm@2489
    23
wenzelm@4518
    24
FOL:
wenzelm@28500
    25
	@cd $(SRC)/FOL; $(ISABELLE_TOOL) make FOL
wenzelm@2489
    26
kleing@13300
    27
$(OUT)/FOL: FOL
kleing@13300
    28
wenzelm@20140
    29
$(OUT)/CCL: $(OUT)/FOL CCL.thy Fix.thy Gfp.thy Hered.thy Lfp.thy ROOT.ML \
wenzelm@20140
    30
  Set.thy Term.thy Trancl.thy Type.thy Wfd.thy
wenzelm@28500
    31
	@$(ISABELLE_TOOL) usedir -b -r $(OUT)/FOL CCL
wenzelm@2489
    32
wenzelm@4518
    33
wenzelm@4518
    34
## CCL-ex
wenzelm@2489
    35
wenzelm@4518
    36
CCL-ex: CCL $(LOG)/CCL-ex.gz
wenzelm@4518
    37
wenzelm@20140
    38
$(LOG)/CCL-ex.gz: $(OUT)/CCL ex/Flag.thy ex/List.thy ex/Nat.thy ex/ROOT.ML \
wenzelm@20140
    39
  ex/Stream.thy
wenzelm@28500
    40
	@$(ISABELLE_TOOL) usedir $(OUT)/CCL ex
wenzelm@2489
    41
wenzelm@4518
    42
wenzelm@4518
    43
## clean
wenzelm@4447
    44
wenzelm@4447
    45
clean:
wenzelm@4518
    46
	@rm -f $(OUT)/CCL $(LOG)/CCL.gz $(LOG)/CCL-ex.gz