[isabelle-dev] segfault compiling
pdf23ds at gmail.com
Sun Jan 11 01:18:53 CET 2009
On Sun, Jan 4, 2009 at 17:18, Makarius <makarius at sketis.net> wrote:
> On Sun, 4 Jan 2009, Alexander Krauss wrote:
>> > 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.
> Poly/ML did not change yet after the 5.2.1 release, so trying just the
> version from http://isabelle.in.tum.de/polyml-5.2.1/ should be fine.
Polyml 5.2.1 did the trick. Thanks for the precompiled version.
"What is it like to be a bat? What is it like to bat a bee? What is it
like to be a bee being batted? What is it like to be a batted bee?"
-- The Mind's I (Hofstadter, Dennet)
More information about the isabelle-dev