Admin/Benchmarks/IsaMakefile
author wenzelm
Sat Oct 04 16:05:09 2008 +0200 (2008-10-04 ago)
changeset 28500 4b79e5d3d0aa
parent 10099 44da60e5331b
child 33693 9d76c8080aea
permissions -rw-r--r--
replaced ISATOOL by ISABELLE_TOOL;
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@28500
    23
	@cd $(SRC)/HOL; $(ISABELLE_TOOL) 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@28500
    30
	@$(ISABELLE_TOOL) 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