Re: [Hol-developers] glibc crashes with Moscow ML

[Tom R. <tho...@cl...>]

Dear All,

This is just a follow up message to the recent mosml issues.

Peter Sestoft tracked down the problems, and has released a patch on the
mosml site.

Ian Grant built an RPM of mosml including this patch.

We installed the RPM on my dual-core 64 bit machine.

I compiled a newish HOL-svn checkout.

I compiled and loaded the theories that were previously causing problems.
Everything seemed to work.

So it seems likely that the mosml patch is effective in eliminating the
problems with mosml.

If you were previously having problems it would be good to check that the
issues are now resolved, by downloading a patched mosml and seeing if it
works for you.

Many thanks to Peter Sestoft and Ian Grant for working on this.

Tom


On 22/02/2008, Tom Ridge <tj...@ca...> wrote:
>
> I see segfaults almost all the time, since moving to a new machine last
> week. Segfaulting seems to happen particularly with loaded theories,
> that is, I can "use" the script files fine.
>
> The machine has glibc-2.7
>
> This effectively makes hol unusable.
>
> Does anyone have any idea what the problem is?
>
> T
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2008.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> _______________________________________________
> Hol-developers mailing list
> Hol...@li...
> https://lists.sourceforge.net/lists/listinfo/hol-developers
>