[isabelle-dev] segfault compiling

Alexander Krauss krauss at in.tum.de
Sun Jan 4 17:10:23 CET 2009

Hi Chris,

> I just retrieved Isabelle from source control (Mercurial) and am
> compiling with PolyML 5.2 under cygwin. I get a segfault from polly
> compiling Pure.

That's weird.

> Should I try bisecting this, and if so, what revision
> should I start at? I haven't previously compiled Isabelle.

Hmmm... Maybe try the Isabelle2008 release tag first. If that works, 
bisect from there. Otherwise, try the newest polyml 5.2.1, or even the 
cvs head. Keep us updated.


More information about the isabelle-dev mailing list