[isabelle-dev] segfault compiling

Amine Chaieb 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.
> Alex
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list