Admin/Benchmarks/IsaMakefile
author wenzelm
Mon Jun 20 22:13:58 2005 +0200 (2005-06-20)
changeset 16485 77ae3bfa8b76
parent 10099 44da60e5331b
child 28500 4b79e5d3d0aa
permissions -rw-r--r--
get_thm instead of obsolete Goals.get_thm;
improved msg;
wenzelm@7371
     1
#
wenzelm@7371
     2
# $Id$
wenzelm@7371
     3
#
wenzelm@7371
     4
wenzelm@7371
     5
## targets
wenzelm@7371
     6
wenzelm@7371
     7
default: HOL-datatype
wenzelm@7371
     8
images:
wenzelm@7371
     9
test: HOL-datatype
wenzelm@7371
    10
all: images test
wenzelm@7371
    11
wenzelm@7371
    12
wenzelm@7371
    13
## global settings
wenzelm@7371
    14
wenzelm@7371
    15
SRC = $(ISABELLE_HOME)/src
wenzelm@7371
    16
OUT = $(ISABELLE_OUTPUT)
wenzelm@7371
    17
LOG = $(OUT)/log
wenzelm@7371
    18
wenzelm@7371
    19
wenzelm@7371
    20
## HOL-datatype
wenzelm@7371
    21
wenzelm@7371
    22
HOL:
wenzelm@7371
    23
	@cd $(SRC)/HOL; $(ISATOOL) make HOL
wenzelm@7371
    24
wenzelm@7371
    25
HOL-datatype: HOL $(LOG)/HOL-datatype.gz
wenzelm@7371
    26
wenzelm@7371
    27
$(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \
wenzelm@7371
    28
  HOL-datatype/Instructions.thy HOL-datatype/SML.thy \
wenzelm@7371
    29
  HOL-datatype/Verilog.thy
wenzelm@10099
    30
	@$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
wenzelm@7371
    31
wenzelm@7371
    32
wenzelm@7371
    33
## clean
wenzelm@7371
    34
wenzelm@7371
    35
clean:
wenzelm@7371
    36
	@rm -f $(LOG)/HOL-datatype.gz