| changeset 32835 | 00c14c4a6b4f |
| parent 30458 | 804de935c328 |
| 32834:a4e0b8d88f28 | 32835:00c14c4a6b4f |
|---|---|
12 |
12 |
13 SRC = $(ISABELLE_HOME)/src |
13 SRC = $(ISABELLE_HOME)/src |
14 OUT = $(ISABELLE_OUTPUT) |
14 OUT = $(ISABELLE_OUTPUT) |
15 LOG = $(OUT)/log |
15 LOG = $(OUT)/log |
16 |
16 |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -g false -d false -D document |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -g false -d false -D document -M 1 |
18 |
18 |
19 |
19 |
20 ## Sugar |
20 ## Sugar |
21 |
21 |
22 Sugar: $(LOG)/HOL-Sugar.gz |
22 Sugar: $(LOG)/HOL-Sugar.gz |