<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi Florian,<br><div><div><br></div><div>Am 04.01.2012 um 21:10 schrieb Florian Haftmann:</div><div><br></div><blockquote type="cite"><div>Is there any reference to these details on some documentation (README,<br>manual, …)?</div></blockquote><div><br></div><div>There used to be some documentation in the Nitpick manual (nitpick.pdf), but nowadays Kodkod(i) is shipped with Isabelle, so the problem only arises for adventurous people (i.e. developers). If you grep for MISSING in</div><div><br></div><div><a href="http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/doc-src/Nitpick/nitpick.tex">http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/doc-src/Nitpick/nitpick.tex</a></div><div><br></div><div>you'll see some instructions.</div><div><br></div><div>And if you try running "nitpick" and Kodkodi isn't installed, you should get this message (from "nitpick.ML"):</div><div><span class="Apple-style-span" style="font-family: Times; "></span></div><div><br></div><div><span class="Apple-style-span" style="font-family: sans-serif; font-size: 12px; "><div class="parity1" style="background-color: rgb(246, 246, 240); font-family: monospace; "><pre style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a class="linenr" href="http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/src/HOL/Tools/Nitpick/nitpick.ML#l182" id="l182" style="color: rgb(153, 153, 153); text-decoration: none; "> 182</a> fun install_kodkodi_message () =
</pre></div><div class="parity0" style="font-family: monospace; "><pre style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a class="linenr" href="http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/src/HOL/Tools/Nitpick/nitpick.ML#l183" id="l183" style="color: rgb(153, 153, 153); text-decoration: none; "> 183</a> "Nitpick requires the external Java program Kodkodi. To install it, download \
</pre></div><div class="parity1" style="background-color: rgb(246, 246, 240); font-family: monospace; position: static; z-index: auto; "><pre style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a class="linenr" href="http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/src/HOL/Tools/Nitpick/nitpick.ML#l184" id="l184" style="color: rgb(153, 153, 153); text-decoration: none; "> 184</a> \the package from Isabelle's web page and add the \"kodkodi-x.y.z\" \
</pre></div><div class="parity0" style="font-family: monospace; "><pre style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a class="linenr" href="http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/src/HOL/Tools/Nitpick/nitpick.ML#l185" id="l185" style="color: rgb(153, 153, 153); text-decoration: none; "> 185</a> \directory's full path to " ^
</pre></div><div class="parity1" style="background-color: rgb(246, 246, 240); font-family: monospace; position: static; z-index: auto; "><pre style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a class="linenr" href="http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/src/HOL/Tools/Nitpick/nitpick.ML#l186" id="l186" style="color: rgb(153, 153, 153); text-decoration: none; "> 186</a> Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^
</pre></div><div class="parity0" style="font-family: monospace; "><pre style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a class="linenr" href="http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/src/HOL/Tools/Nitpick/nitpick.ML#l187" id="l187" style="color: rgb(153, 153, 153); text-decoration: none; "> 187</a> " on a line of its own."</pre></div></span></div><div><br></div><div>(from <a href="http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/src/HOL/Tools/Nitpick/nitpick.ML)">http://isabelle.in.tum.de/repos/isabelle/file/edd50ec8d471/src/HOL/Tools/Nitpick/nitpick.ML)</a>. Now, Kodkodi doesn't seem to be available from the download page anymore, but you can get it from my home page or steal it from NFS. Version 1.2.16 works fine. (I really need to update the above message!)</div><div><br></div><blockquote type="cite"><div> A grep for Kodkod over the sources did not look very<br>promising.</div></blockquote><div><br></div><div>It should have caught the above message, though. ;)</div></div><div><br></div>Cheers,<div><br><div>Jasmin</div><div><br></div></div></body></html>