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