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;
     1 #
     2 # $Id$
     3 #
     4 
     5 ## targets
     6 
     7 default: HOL-datatype
     8 images:
     9 test: HOL-datatype
    10 all: images test
    11 
    12 
    13 ## global settings
    14 
    15 SRC = $(ISABELLE_HOME)/src
    16 OUT = $(ISABELLE_OUTPUT)
    17 LOG = $(OUT)/log
    18 
    19 
    20 ## HOL-datatype
    21 
    22 HOL:
    23 	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
    24 
    25 HOL-datatype: HOL $(LOG)/HOL-datatype.gz
    26 
    27 $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \
    28   HOL-datatype/Instructions.thy HOL-datatype/SML.thy \
    29   HOL-datatype/Verilog.thy
    30 	@$(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
    31 
    32 
    33 ## clean
    34 
    35 clean:
    36 	@rm -f $(LOG)/HOL-datatype.gz