equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: Nominal2 |
4 default: test |
5 images: |
5 images: |
6 |
6 |
7 all: Nominal2 paper pearl pearl-jv qpaper |
7 all: test paper pearl pearl-jv qpaper |
8 |
8 |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ##-D generated |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ##-D generated |
17 |
17 |
18 |
18 |
19 ## Nominal2 |
19 ## Nominal2 |
20 |
20 |
21 Nominal2: $(LOG)/HOL-Nominal2.gz |
21 test: $(LOG)/HOL-Nominal2.gz |
22 |
22 |
23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
24 @cd Nominal; $(USEDIR) -b -d "" HOL Nominal |
24 @cd Nominal; $(USEDIR) -b -d "" HOL Nominal |
25 |
25 |
26 ## Nominal2 Paper |
26 ## Nominal2 Paper |