src/CCL/IsaMakefile
author wenzelm
Fri, 19 Dec 1997 10:18:58 +0100
changeset 4447 b7ee449eb345
parent 3505 1cb4ea47d967
child 4518 74c01296e818
permissions -rw-r--r--
log files; 'clean' target;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2489
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
     1
#
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
     2
# $Id$
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
     3
#
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
     4
# IsaMakefile for CCL
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
     5
#
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
     6
3118
24dae6222579 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
wenzelm
parents: 3057
diff changeset
     7
OUT = $(ISABELLE_OUTPUT)
4447
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
     8
LOG = $(OUT)/log
2489
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
     9
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    10
SET_FILES = ROOT.ML Set.thy Set.ML subset.ML equalities.ML mono.ML \
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    11
	    Gfp.thy Gfp.ML Lfp.thy Lfp.ML
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    12
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    13
CCL_FILES = CCL.thy CCL.ML Term.thy Term.ML Type.thy Type.ML \
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    14
	    coinduction.ML Hered.thy Hered.ML Trancl.thy Trancl.ML \
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    15
	    Wfd.thy Wfd.ML genrec.ML typecheck.ML eval.ML Fix.thy Fix.ML
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    16
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    17
EX_FILES = ex/ROOT.ML ex/Flag.ML ex/Flag.thy ex/List.ML ex/List.thy \
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    18
	   ex/Nat.ML ex/Nat.thy ex/Stream.ML ex/Stream.thy
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    19
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    20
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    21
$(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
3057
a5a42ff18a40 removed -c option;
wenzelm
parents: 2821
diff changeset
    22
	@$(ISATOOL) usedir -b $(OUT)/FOL CCL
2489
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    23
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    24
$(OUT)/FOL:
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    25
	@cd ../FOL; $(ISATOOL) make
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    26
4447
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    27
$(LOG)/CCL-ex.gz: ex/ROOT.ML $(OUT)/CCL $(EX_FILES)
2821
b1dcacc4bc26 isatool usedir;
wenzelm
parents: 2489
diff changeset
    28
	@$(ISATOOL) usedir $(OUT)/CCL ex
2489
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    29
4447
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    30
test: $(OUT)/CCL $(LOG)/CCL-ex.gz
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    31
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    32
clean:
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    33
	@rm -f $(OUT)/CCL $(LOG)/CCL-ex.gz
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    34
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    35
2489
7834b2677551 IsaMakefile for CCL;
wenzelm
parents:
diff changeset
    36
.PRECIOUS: $(OUT)/FOL $(OUT)/CCL