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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
