[isabelle-dev] segfault compiling
krauss at in.tum.de
Sun Jan 4 17:10:23 CET 2009
> 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.
> 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