Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned make-file
authorChristian Urban <urbanc@in.tum.de>
Tue, 24 Jan 2012 16:51:01 +0000
changeset 3112 e4050732ba15
parent 3111 60c4c93b30d5
child 3113 f4112721a4b9
tuned make-file
IsaMakefile file | annotate | diff | comparison | revisions
Nominal/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/IsaMakefile	Tue Jan 24 14:29:07 2012 +0000
+++ b/IsaMakefile	Tue Jan 24 16:51:01 2012 +0000
@@ -4,7 +4,7 @@
 default: session
 images: 
 
-all: tests esop pearl pearl-jv qpaper slides lmcs
+all: tests esop pearl pearl-jv qpaper qpaper-jv slides lmcs
 
 
 ## global settings
@@ -25,10 +25,10 @@
 
 ## tests
 
-tests: $(LOG)/HOL-Nominal2-test.gz
+tests: $(LOG)/HOL-Nominal2-tests.gz
 
 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy
-	@cd Nominal; $(USEDIR) HOL Nominal2
+	@$(USEDIR) HOL Nominal
 
 ## ESOP Paper
 
--- a/Nominal/ROOT.ML	Tue Jan 24 14:29:07 2012 +0000
+++ b/Nominal/ROOT.ML	Tue Jan 24 16:51:01 2012 +0000
@@ -27,7 +27,7 @@
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",
-    "Ex/CoreHaskell2", 
+    "Ex/CoreHaskell2",
     "Ex/Pi"
    ];
nominal2