[isabelle-dev] segfault compiling

[Amine Chaieb]

I remember having this problem too (under MacOs I think). Updating to 
PolyML 5.2.1 solved it.

Amine.

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