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.
invoke Kodkodi from Nitpick using new $KODKOD/bin/kodkodi script;
authorblanchet
Tue, 17 Nov 2009 13:50:46 +0100
changeset 33734 0b0a7f8e1724
parent 33733 c6ca64ac5353
child 33735 0c0e7b2ecf2e
invoke Kodkodi from Nitpick using new $KODKOD/bin/kodkodi script; this requires downloading Kodkodi 1.2.4, or writing a "kodkodi" script that invokes "java de.tum.in.isabelle.Kodkodi.Kodkodi $@"
src/HOL/Tools/Nitpick/kodkod.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Tue Nov 17 10:58:37 2009 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Tue Nov 17 13:50:46 2009 +0100
@@ -1047,8 +1047,7 @@
                         \$JAVA_LIBRARY_PATH\" \
                         \LD_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
                         \$LD_LIBRARY_PATH\" \
-                        \\"$ISABELLE_TOOL\" java \
-                        \de.tum.in.isabelle.Kodkodi.Kodkodi" ^
+                        \\"$KODKODI\"/bin/kodkodi" ^
                         (if ms >= 0 then " -max-msecs " ^ Int.toString ms
                          else "") ^
                         (if max_solutions > 1 then " -solve-all" else "") ^
isabelle