--- a/src/HOL/Tools/Nitpick/kodkod.ML Tue Oct 27 12:16:26 2009 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML Tue Oct 27 14:40:24 2009 +0100
@@ -1044,7 +1044,10 @@
val code =
system ("env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \
\JAVA_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
- \$JAVA_LIBRARY_PATH\" \"$ISABELLE_TOOL\" java \
+ \$JAVA_LIBRARY_PATH\" \
+ \LD_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
+ \$LD_LIBRARY_PATH\" \
+ \\"$ISABELLE_TOOL\" java \
\de.tum.in.isabelle.Kodkodi.Kodkodi" ^
(if ms >= 0 then " -max-msecs " ^ Int.toString ms
else "") ^