author | wenzelm |
Wed, 26 Jul 2006 00:44:44 +0200 | |
changeset 20207 | 4c57e850e8d5 |
parent 7372 | 79e911c0c7d1 |
child 32965 | ecb746bca732 |
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; $(ISATOOL) make HOL HOL-datatype: HOL $(LOG)/HOL-datatype.gz $(LOG)/HOL-datatype.gz: $(OUT)/HOLBrackin.thy Instructions.thy SML.thy \ Verilog.thy @cd ..; $(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype ## clean clean: @rm -f $(LOG)/HOL-datatype.gz