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 nicta.com.au>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.
> From: cl-isabelle-users-bounces at lists.cam.ac.uk [
> cl-isabelle-users-bounces at lists.cam.ac.uk] On Behalf Of Alexander Krauss [
> krauss at in.tum.de]
> Sent: Monday, January 10, 2011 8:41 AM
> To: John Nicol
> Cc: isabelle-users at cl.cam.ac.uk
> Subject: Re: [isabelle] Errors when installing and executing
> John Nicol wrote:
> > Installing Adobe Flash (which depends on some of the libc libraries)
> > to have fixed the problem. It reconfigured libc6-i386 and lib32stdc++6
> > 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
> > 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.
> 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