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
