equal
deleted
inserted
replaced
15 ## global settings |
15 ## global settings |
16 |
16 |
17 SRC = $(ISABELLE_HOME)/src |
17 SRC = $(ISABELLE_HOME)/src |
18 OUT = $(ISABELLE_OUTPUT) |
18 OUT = $(ISABELLE_OUTPUT) |
19 LOG = $(OUT)/log |
19 LOG = $(OUT)/log |
20 OPTIONS = -m brackets -i true -d "" -D document |
20 OPTIONS = -H false -m brackets -i true -d "" -D document |
21 USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL |
21 USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL |
22 REALUSEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL-Complex |
22 REALUSEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL-Complex |
23 |
23 |
24 |
24 |
25 ## HOL |
25 ## HOL |