Re: [isabelle] Isabelle Usage Problem
Thanks for all the replys. I understand that basically I need to update my Linux to the latest version. But I have a problem with that, as I am using Isabelle in my University machine, I am not sure if I will be able to update it. Is it possible to use my existing Linux version and update the required libraries that will make Poly/ML work? If yes, can someone please let me know where can I get the libraries?
----- Original Message ----
From: Makarius <makarius at sketis.net>
To: Rajesh Karunamurthy <rajesh.karuna at yahoo.com>
Cc: cl-isabelle-users at lists.cam.ac.uk
Sent: Saturday, March 1, 2008 4:04:17 PM
Subject: Re: [isabelle] Isabelle Usage Problem
On Fri, 29 Feb 2008, Rajesh Karunamurthy wrote:
> Now I have installed Isabelle in a Linux Fedora Core 2 platform and I am
> having some problems in using it. When I try to use Isabelle for
> processing some theory, I am getting the following message.
> [root at jitter bin]# ./isabelle
> error while loading shared lib raries: libstdc++.so.6:
> cannot open shared object file: No such file or directory
> I think the problem is ployml is looking for some library, which it is
> not able to find. Is polyml dependent on some libraries which needs to
> be installed?
Yes, the Poly/ML binary needs version 6 of libstdc++, any reasonably
up-to-date Linux distribution should be able to provide that.
Fedora Core 2 is a bit old (4 years?). Better update your Linux, e.g.
using Ubuntu which is very pleasant to install.
Be a better friend, newshound, and
know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ
This archive was generated by a fusion of
Pipermail (Mailman edition) and