[isabelle-dev] Kodkodi upgrade

[Jasmin Christian Blanchette]

Hi all,

Two quick updates regarding the Kodkodi upgrade. First, if you follow the instructions below and the "KODKODI_VERSION" variable isn't set, that means your Kodkodi is definitely too old. Second, there's an issue on _some_ Macs (and perhaps elsewhere) that's fixed in Kodkodi 1.2.16:

    http://www4.in.tum.de/~blanchet/kodkodi-1.2.16.tgz

If you see warning about Kodkodi's defaulting to DefaultSAT4J, you're a victim.

Thanks to those who reported these issues to me! :)

Jasmin


> Hi all,
> 
> In the coming days, I would like to discontinue support for old versions of Kodkodi (Nitpick's Java backend). If you want to keep using Nitpick with the development version, you might need to upgrade Kodkodi.
> 
> If you are lazy (in the positive C.S. sense of the term of course!), stop reading this email now and come back to it if and when Nitpick stops working.
> 
> If you are eager, enter this line in an Isabelle theory
> 
>    ML {* getenv "KODKODI_VERSION" *}
> 
> If it prints "1.2.9" or less, you should probably upgrade Kodkodi.
> 
> 1. Download http://www4.in.tum.de/~blanchet/kodkodi-1.2.15.tgz
> 2. tar zxvf kodkodi-1.2.15.tgz
> 3. Modify the path to the Kodkodi component in "~/.isabelle/etc/components" or "~/.isabelle/etc/settings".
> 
> If you have a standard Isabelle2009-2 package on your machine, you can skip steps 1 and 2 and simply steal the Kodkodi version that's in "contrib". E.g. on a Mac with standard paths, Kodkodi is here:
> 
>    /Applications/Isabelle2009-2.app/Isabelle/contrib/kodkodi-1.2.13
> 
> This change is a hassle, but it will make it possible to get rid of some nasty environment-variable hacking in Isabelle.
> 
> Thanks!
> 
> Jasmin
>