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