Admin/Benchmarks/IsaMakefile
changeset 10099 44da60e5331b
parent 7371 b176626f0d80
child 28500 4b79e5d3d0aa
equal deleted inserted replaced
10098:ab0a3188f398 10099:44da60e5331b
    25 HOL-datatype: HOL $(LOG)/HOL-datatype.gz
    25 HOL-datatype: HOL $(LOG)/HOL-datatype.gz
    26 
    26 
    27 $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \
    27 $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \
    28   HOL-datatype/Instructions.thy HOL-datatype/SML.thy \
    28   HOL-datatype/Instructions.thy HOL-datatype/SML.thy \
    29   HOL-datatype/Verilog.thy
    29   HOL-datatype/Verilog.thy
    30 	$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
    30 	@$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
    31 
    31 
    32 
    32 
    33 ## clean
    33 ## clean
    34 
    34 
    35 clean:
    35 clean: