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;
     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; $(ISATOOL) 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 	@$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
    31 
    32 
    33 ## clean
    34 
    35 clean:
    36 	@rm -f $(LOG)/HOL-datatype.gz