equal
deleted
inserted
replaced
18 |
18 |
19 |
19 |
20 ## HOL-datatype |
20 ## HOL-datatype |
21 |
21 |
22 HOL: |
22 HOL: |
23 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
23 @cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL |
24 |
24 |
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 @$(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype |
31 |
31 |
32 |
32 |
33 ## clean |
33 ## clean |
34 |
34 |
35 clean: |
35 clean: |