| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Tue, 19 Feb 2013 06:58:14 +0000 | |
| branch | Nominal2-Isabelle2013 |
| changeset 3208 | da575186d492 |
| parent 3200 | 995d47b09ab4 |
| 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 |
|
|
3208
da575186d492
updated for 2013 release
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
3200
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 |
|
|
3208
da575186d492
updated for 2013 release
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
3200
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 |
|
|
3208
da575186d492
updated for 2013 release
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
3200
diff
changeset
|
16 |
USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets ##-D generated |
|
3173
9876d73adb2b
Executing Lambda Terms
Cezary Kaliszyk <cezarykaliszyk@gmail.com>
parents:
3132
diff
changeset
|
17 |
|
|
9876d73adb2b
Executing Lambda Terms
Cezary Kaliszyk <cezarykaliszyk@gmail.com>
parents:
3132
diff
changeset
|
18 |
|
|
3208
da575186d492
updated for 2013 release
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
3200
diff
changeset
|
19 |
## Nominal2 |
|
2748
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
2742
diff
changeset
|
20 |
|
|
3208
da575186d492
updated for 2013 release
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
3200
diff
changeset
|
21 |
tests: $(LOG)/HOL-Nominal2.gz |
|
2772
c3ff26204d2a
added slides for beijing
Christian Urban <urbanc@in.tum.de>
parents:
2762
diff
changeset
|
22 |
|
|
3208
da575186d492
updated for 2013 release
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
3200
diff
changeset
|
23 |
$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
|
da575186d492
updated for 2013 release
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
3200
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 |