Mercurial Mercurial > repos > isabelle / 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.
include no-smlnj targets into library (cf. e54a985daa61);
authorwenzelm
Mon, 10 Oct 2011 20:14:25 +0200
changeset 45126 fc3bb3a42369
parent 45125 c15b0faeb70a
child 45127 d2eb07a1e01b
include no-smlnj targets into library (cf. e54a985daa61);
Admin/makebin file | annotate | diff | comparison | revisions 
--- a/Admin/makebin	Mon Oct 10 16:47:45 2011 +0200
+++ b/Admin/makebin	Mon Oct 10 20:14:25 2011 +0200
@@ -94,7 +94,7 @@
 PLATFORM=$(./bin/isabelle getenv -b ML_PLATFORM)
 
 if [ -n "$DO_LIBRARY" ]; then
-  ./build -bait
+  ./build -bait -m all
 else
   ./build -b HOL
 fi
isabelle