equal
deleted
inserted
replaced
2 ## targets |
2 ## targets |
3 |
3 |
4 default: session |
4 default: session |
5 images: |
5 images: |
6 |
6 |
7 all: tests esop pearl pearl-jv qpaper slides lmcs |
7 all: tests esop pearl pearl-jv qpaper qpaper-jv slides lmcs |
8 |
8 |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
23 @cd Nominal; $(USEDIR) -f FROOT.ML -b -d "" HOL Nominal2 |
23 @cd Nominal; $(USEDIR) -f FROOT.ML -b -d "" HOL Nominal2 |
24 |
24 |
25 |
25 |
26 ## tests |
26 ## tests |
27 |
27 |
28 tests: $(LOG)/HOL-Nominal2-test.gz |
28 tests: $(LOG)/HOL-Nominal2-tests.gz |
29 |
29 |
30 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy |
30 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy |
31 @cd Nominal; $(USEDIR) HOL Nominal2 |
31 @$(USEDIR) HOL Nominal |
32 |
32 |
33 ## ESOP Paper |
33 ## ESOP Paper |
34 |
34 |
35 esop: $(LOG)/HOL-ESOP-Paper.gz |
35 esop: $(LOG)/HOL-ESOP-Paper.gz |
36 |
36 |