jasmin.blanchette at gmail.com
Wed Jan 4 21:56:34 CET 2012
Am 04.01.2012 um 21:10 schrieb Florian Haftmann:
> Is there any reference to these details on some documentation (README,
> manual, …)?
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
you'll see some instructions.
And if you try running "nitpick" and Kodkodi isn't installed, you
should get this message (from "nitpick.ML"):
182 fun install_kodkodi_message () =
183 "Nitpick requires the external Java program Kodkodi. To
install it, download \
184 \the package from Isabelle's web page and add the \"kodkodi-
185 \directory's full path to " ^
186 Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/
187 " on a line of its own."
. 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!)
> A grep for Kodkod over the sources did not look very
It should have caught the above message, though. ;)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev