Hi,
I got the following running Isabelle:
### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++) ### Using bulky 64bit version of Poly/ML instead
What are these shared libraries that I need? I have glibc.i686 already.
- Gergely
This looks like something from Isabelle. I certainly don't recognise it as anything from Poly/ML.
David
On 18/04/2013 08:14, Gergely Buday wrote:
Hi,
I got the following running Isabelle:
### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++) ### Using bulky 64bit version of Poly/ML instead
What are these shared libraries that I need? I have glibc.i686 already.
- Gergely
polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
On Thu, 18 Apr 2013, Gergely Buday wrote:
I got the following running Isabelle:
### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++) ### Using bulky 64bit version of Poly/ML instead
What are these shared libraries that I need? I have glibc.i686 already.
This question is for the isabelle-users mailing list.
Depending on your Linux distribution, there should be packages for "32" or "multilib" versions of that basic shared libraries for C and C++ (you need both).
Makarius
-
David.Matthews＠prolingua.co.uk -
gbuday＠gmail.com -
makarius＠sketis.net