| author | Christian Urban <urbanc@in.tum.de> |
| Sat, 12 May 2012 21:39:09 +0100 | |
| branch | Nominal2-Isabelle2012 |
| changeset 3169 | b6873d123f9b |
| parent 3132 | 87eca760dcba |
| permissions | -rw-r--r-- |
|
1261
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
1 |
|
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
2 |
## targets |
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
|
|
3169
b6873d123f9b
cleaned the repository for Nominal2-Isabelle2012
Christian Urban <urbanc@in.tum.de>
parents:
3132
diff
changeset
|
4 |
default: tests |
|
1261
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
5 |
images: |
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
6 |
|
|
3169
b6873d123f9b
cleaned the repository for Nominal2-Isabelle2012
Christian Urban <urbanc@in.tum.de>
parents:
3132
diff
changeset
|
7 |
all: tests |
|
1261
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
8 |
|
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
9 |
|
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
10 |
## global settings |
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
11 |
|
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
12 |
SRC = $(ISABELLE_HOME)/src |
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
13 |
OUT = $(ISABELLE_OUTPUT) |
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
14 |
LOG = $(OUT)/log |
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
15 |
|
|
3169
b6873d123f9b
cleaned the repository for Nominal2-Isabelle2012
Christian Urban <urbanc@in.tum.de>
parents:
3132
diff
changeset
|
16 |
USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets ##-D generated |
|
1261
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
17 |
|
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
18 |
|
|
3169
b6873d123f9b
cleaned the repository for Nominal2-Isabelle2012
Christian Urban <urbanc@in.tum.de>
parents:
3132
diff
changeset
|
19 |
## Nominal2 |
|
2351
842969a598f2
added material for slides
Christian Urban <urbanc@in.tum.de>
parents:
2299
diff
changeset
|
20 |
|
|
3169
b6873d123f9b
cleaned the repository for Nominal2-Isabelle2012
Christian Urban <urbanc@in.tum.de>
parents:
3132
diff
changeset
|
21 |
tests: $(LOG)/HOL-Nominal2.gz |
| 2762 | 22 |
|
|
3169
b6873d123f9b
cleaned the repository for Nominal2-Isabelle2012
Christian Urban <urbanc@in.tum.de>
parents:
3132
diff
changeset
|
23 |
$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
|
b6873d123f9b
cleaned the repository for Nominal2-Isabelle2012
Christian Urban <urbanc@in.tum.de>
parents:
3132
diff
changeset
|
24 |
@cd Nominal; $(USEDIR) -b -d "" HOL Nominal2 |
|
1975
b1281a0051ae
added stub for quotient paper; call with isabelle make qpaper
Christian Urban <urbanc@in.tum.de>
parents:
1785
diff
changeset
|
25 |
|
|
1261
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
26 |
## clean |
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
27 |
|
|
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
28 |
clean: |
|
1772
48c2eb84d5ce
merged pearl paper with this repository; started litrature subdirectory
Christian Urban <urbanc@in.tum.de>
parents:
1491
diff
changeset
|
29 |
@rm -f $(LOG)/HOL-Nominal2.gz $(LOG)/HOL-Pearl.gz |