Re: [isabelle] Fresh Install?



On Wed, 29 Feb 2012, Jens Doll wrote:

$ isabelle make
cygpath: can't convert empty path

This one looks already odd. You can get a bash trace by putting the command "set -x" close to the start of Isabelle2011-1/bin/isabelle and then run the above again.


Unknown logic "HOL" -- no heap file found in:
/home/Jens/.isabelle/Isabelle2011-1/heaps/polyml-undefined_x86-cygwin

polyml-undefined means that the poly executable could not be run (within its proper process environment provided by Isabelle). Do you actually have polyml as part of the official http://isabelle.in.tum.de/dist/Isabelle2011-1_bundle_x86-cygwin.tar.gz ?

The latter also includes Isabelle/HOL prebuilt. Nothing left to do, apart from saturating Cygwin packages as described on http://isabelle.in.tum.de/download.html


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.