Admin/Benchmarks/IsaMakefile
author wenzelm
Wed, 26 Jul 2006 00:44:44 +0200
changeset 20207 4c57e850e8d5
parent 10099 44da60e5331b
child 28500 4b79e5d3d0aa
permissions -rw-r--r--
added Pure/subgoal.ML;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7371
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     1
#
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     2
# $Id$
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     3
#
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     4
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     5
## targets
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     6
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     7
default: HOL-datatype
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     8
images:
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
     9
test: HOL-datatype
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    10
all: images test
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    11
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    12
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    13
## global settings
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    14
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    15
SRC = $(ISABELLE_HOME)/src
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    16
OUT = $(ISABELLE_OUTPUT)
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    17
LOG = $(OUT)/log
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    18
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    19
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    20
## HOL-datatype
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    21
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    22
HOL:
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    23
	@cd $(SRC)/HOL; $(ISATOOL) make HOL
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    24
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    25
HOL-datatype: HOL $(LOG)/HOL-datatype.gz
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    26
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    27
$(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    28
  HOL-datatype/Instructions.thy HOL-datatype/SML.thy \
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    29
  HOL-datatype/Verilog.thy
10099
wenzelm
parents: 7371
diff changeset
    30
	@$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
7371
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    31
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    32
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    33
## clean
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    34
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    35
clean:
b176626f0d80 *** empty log message ***
wenzelm
parents:
diff changeset
    36
	@rm -f $(LOG)/HOL-datatype.gz