Re: [isabelle] Errors when installing and executing Isabelle-2009-2

Yes, I'm on 64-bit, and I see in the logs that ia32libs was in the install
that fixed the error.  Good call.  Would be a great FAQ entry!


On Sun, Jan 9, 2011 at 7:58 PM, Thomas Sewell <Thomas.Sewell at>wrote:

> This might be an instance of a problem we've seen frequently, where a
> 32-bit binary is executed on a 64-bit linux which doesn't have ia32libs
> installed. I think the problem is not even a missing dynamic library but a
> failure to find the dynamic linking program which is usually named as an
> interpreter, and the error comes from the kernel itself. I might be
> mistaken. Anyway, there's no easy way to change the unhelpful error message
> without wrapping the executable in yet another script.
> Yours,
>    Thomas.
> ________________________________________
> From: cl-isabelle-users-bounces at [
> cl-isabelle-users-bounces at] On Behalf Of Alexander Krauss [
> krauss at]
> Sent: Monday, January 10, 2011 8:41 AM
> To: John Nicol
> Cc: isabelle-users at
> Subject: Re: [isabelle] Errors when installing and executing
> Isabelle-2009-2
> John Nicol wrote:
> > Installing Adobe Flash (which depends on some of the libc libraries)
> appears
> > to have fixed the problem.  It reconfigured libc6-i386 and lib32stdc++6
> and
> > some other libraries.
> >
> > I assume this is related to this problem, although the error was less
> > clear:
> >
> >
> > I'd recommend listing the libc dependencies on the installation page
> and/or
> > putting a descriptive error in the code.  This was a fairly clean Ubuntu
> > installation, so I'm sure this problem will pop up again.
> In fact, a student at TUM recently had what seems to be exactly the same
> problem. It was also a more or less clean Ubuntu installation. We could
> not solve it at that time, and it somehow went away after he reinstalled
> the system.
> So it may be a not-so uncommon error.
> Alex
> The information in this e-mail may be confidential and subject to legal
> professional privilege and/or copyright. National ICT Australia Limited
> accepts no liability for any damage caused by this email or its attachments.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.