author | wenzelm |
Sat, 17 Oct 2009 15:55:57 +0200 | |
changeset 32965 | ecb746bca732 |
parent 7372 | 79e911c0c7d1 |
permissions | -rw-r--r-- |
# # $Id$ # ## targets default: HOL-datatype images: test: HOL-datatype all: images test ## global settings SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log ## HOL-datatype HOL: @cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL HOL-datatype: HOL $(LOG)/HOL-datatype.gz $(LOG)/HOL-datatype.gz: $(OUT)/HOLBrackin.thy Instructions.thy SML.thy \ Verilog.thy @cd ..; $(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype ## clean clean: @rm -f $(LOG)/HOL-datatype.gz