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? 

Thanks again,

----- Original Message ----
From: Makarius <makarius at>
To: Rajesh Karunamurthy <rajesh.karuna at>
Cc: cl-isabelle-users at
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
> /usr/local/Isabelle2007/../polyml/x86-linux/poly:
> error while loading shared lib raries:
> 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.;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ 

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.