# HG changeset patch
# User blanchet
# Date 1258462246 -3600
# Node ID 0b0a7f8e1724e7d60620912b3501d605faf7dfaf
# Parent  c6ca64ac5353f93242eb6f82327fbbe9ccca3d4a
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 $@"

diff -r c6ca64ac5353 -r 0b0a7f8e1724 src/HOL/Tools/Nitpick/kodkod.ML
--- 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 "") ^