Admin/Benchmarks/IsaMakefile
author blanchet
Wed, 02 Jun 2010 15:18:48 +0200
changeset 37321 9d7cfae95b30
parent 33696 2c7c79ca6c23
child 44640 3e666dcdcd32
permissions -rw-r--r--
honor "xsymbols"


## targets

default: all
images:
test: HOL-datatype HOL-record
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)/HOL HOL-datatype/ROOT.ML		\
  HOL-datatype/Brackin.thy HOL-datatype/Instructions.thy	\
  HOL-datatype/SML.thy HOL-datatype/Verilog.thy
	@$(ISABELLE_TOOL) usedir -s datatype $(OUT)/HOL HOL-datatype


## HOL-record

HOL-record: HOL $(LOG)/HOL-record.gz

$(LOG)/HOL-record.gz: $(OUT)/HOL HOL-record/ROOT.ML	\
   HOL-record/RecordBenchmark.thy
	@$(ISABELLE_TOOL) usedir -s record $(OUT)/HOL HOL-record


## clean

clean:
	@rm -f $(LOG)/HOL-datatype.gz $(LOG)/HOL-record.gz