equal
deleted
inserted
replaced
13 ## global settings |
13 ## global settings |
14 |
14 |
15 SRC = $(ISABELLE_HOME)/src |
15 SRC = $(ISABELLE_HOME)/src |
16 OUT = $(ISABELLE_OUTPUT) |
16 OUT = $(ISABELLE_OUTPUT) |
17 LOG = $(OUT)/log |
17 LOG = $(OUT)/log |
18 USEDIR = @$(ISATOOL) usedir -m brackets -i true -d dvi -D document $(OUT)/HOL |
18 OPTIONS = -m brackets -i true -d dvi -D document |
19 REALUSEDIR = @$(ISATOOL) usedir -m brackets -i true -d dvi -D document $(OUT)/HOL-Real |
19 USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL |
|
20 REALUSEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL-Real |
|
21 |
20 |
22 |
21 ## HOL |
23 ## HOL |
22 |
24 |
23 HOL: |
25 HOL: |
24 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
26 @cd $(SRC)/HOL; $(ISATOOL) make HOL |