18 Apr
2013
18 Apr
'13
9:44 p.m.
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