Admin/Benchmarks/HOL-datatype/IsaMakefile
author wenzelm
Fri, 27 Aug 1999 10:49:12 +0200
changeset 7372 79e911c0c7d1
child 32965 ecb746bca732
permissions -rw-r--r--
oops;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7372
wenzelm
parents:
diff changeset
     1
#
wenzelm
parents:
diff changeset
     2
# $Id$
wenzelm
parents:
diff changeset
     3
#
wenzelm
parents:
diff changeset
     4
wenzelm
parents:
diff changeset
     5
## targets
wenzelm
parents:
diff changeset
     6
wenzelm
parents:
diff changeset
     7
default: HOL-datatype
wenzelm
parents:
diff changeset
     8
images:
wenzelm
parents:
diff changeset
     9
test: HOL-datatype
wenzelm
parents:
diff changeset
    10
all: images test
wenzelm
parents:
diff changeset
    11
wenzelm
parents:
diff changeset
    12
wenzelm
parents:
diff changeset
    13
## global settings
wenzelm
parents:
diff changeset
    14
wenzelm
parents:
diff changeset
    15
SRC = $(ISABELLE_HOME)/src
wenzelm
parents:
diff changeset
    16
OUT = $(ISABELLE_OUTPUT)
wenzelm
parents:
diff changeset
    17
LOG = $(OUT)/log
wenzelm
parents:
diff changeset
    18
wenzelm
parents:
diff changeset
    19
wenzelm
parents:
diff changeset
    20
## HOL-datatype
wenzelm
parents:
diff changeset
    21
wenzelm
parents:
diff changeset
    22
HOL:
wenzelm
parents:
diff changeset
    23
	@cd $(SRC)/HOL; $(ISATOOL) make HOL
wenzelm
parents:
diff changeset
    24
wenzelm
parents:
diff changeset
    25
HOL-datatype: HOL $(LOG)/HOL-datatype.gz
wenzelm
parents:
diff changeset
    26
wenzelm
parents:
diff changeset
    27
$(LOG)/HOL-datatype.gz: $(OUT)/HOLBrackin.thy Instructions.thy SML.thy \
wenzelm
parents:
diff changeset
    28
  Verilog.thy
wenzelm
parents:
diff changeset
    29
	@cd ..; $(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
wenzelm
parents:
diff changeset
    30
wenzelm
parents:
diff changeset
    31
wenzelm
parents:
diff changeset
    32
## clean
wenzelm
parents:
diff changeset
    33
wenzelm
parents:
diff changeset
    34
clean:
wenzelm
parents:
diff changeset
    35
	@rm -f $(LOG)/HOL-datatype.gz