Admin/Benchmarks/IsaMakefile
changeset 7371 b176626f0d80
child 10099 44da60e5331b
equal deleted inserted replaced
7370:6407a09ac58f 7371:b176626f0d80
       
     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