[isabelle-dev] segfault compiling
ac638 at cam.ac.uk
Sun Jan 4 17:29:07 CET 2009
I remember having this problem too (under MacOs I think). Updating to
PolyML 5.2.1 solved it.
Alexander Krauss wrote:
> 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.
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
More information about the isabelle-dev