equal
deleted
inserted
replaced
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
13 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
14 LOG = $(OUT)/log |
14 LOG = $(OUT)/log |
15 |
15 |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets ##-D generated |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets |
17 |
17 |
18 |
18 ## Nominal2 |
19 ## Nominal2 |
19 |
20 |
20 session: $(LOG)/HOL-Nominal2.gz |
21 tests: $(LOG)/HOL-Nominal2.gz |
21 |
22 |
22 $(LOG)/HOL-Nominal2.gz: Nominal/FROOT.ML Nominal/*.thy |
23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
23 @cd Nominal; $(USEDIR) -f FROOT.ML -b -d "" HOL Nominal2 |
24 @cd Nominal; $(USEDIR) -b -d "" HOL Nominal2 |
24 |
|
25 |
|
26 ## tests |
|
27 |
|
28 tests: $(LOG)/HOL-Nominal2-test.gz |
|
29 |
|
30 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy |
|
31 @cd Nominal; $(USEDIR) HOL Nominal2 |
25 |
32 |
26 ## ESOP Paper |
33 ## ESOP Paper |
27 |
34 |
28 esop: $(LOG)/HOL-ESOP-Paper.gz |
35 esop: $(LOG)/HOL-ESOP-Paper.gz |
29 |
36 |