[isabelle] Fresh Install?



Hello all,

after doing a fresh install with all the packages recommended on the download.html page and unzipping Isabelle there is still something missing. When trying to make my theories, the attached messages occur. Can someone tell me, what's wrong?

Jens

-------------------------------------------------------------------------------------------- msg ----------------------------------------------------
$ isabelle make
cygpath: can't convert empty path
Running HOL-Theorien ...
Unknown logic "HOL" -- no heap file found in:
/home/Jens/.isabelle/Isabelle2011-1/heaps/polyml-undefined_x86-cygwin
/Isabelle2011-1/heaps/polyml-undefined_x86-cygwin
HOL-Theorien FAILED
(see also /home/Jens/.isabelle/Isabelle2011-1/heaps/polyml-undefined_x86-cygwin/log/HOL-Theorien)

IsaMakefile:25: recipe for target `/home/Jens/.isabelle/Isabelle2011-1/heaps/polyml-undefined_x86-cygwin/log/HOL-Theorien.gz' failed make: *** [/home/Jens/.isabelle/Isabelle2011-1/heaps/polyml-undefined_x86-cygwin/log/HOL-Theorien.gz] Error 2 --------------------------------------------------------------------------------------------------- end msg ----------------------------------------------------







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