Email Gateway (Aug 18 2022 at 11:29): Email Gateway (Aug 18 2022 at 11:29):From: Rajesh Karunamurthy <rajesh.karuna@yahoo.com>
Hi,
Till now, I was using Isabelle in Windows platform
using the virtual machine installation. It was working
fine for some time. However, now I find Isabelle to be
very slow in processing the theories and giving
results. Is there any way to improve this performance?
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@jitter bin]# ./isabelle
/usr/local/Isabelle2007/../polyml/x86-linux/poly:
error while loading shared lib raries: libstdc++.so.6:
cannot open shared object file: No such file or
director y
Unknown logic "HOL" -- no heap file found in:
/root/isabelle/heaps/Isabelle2007/polyml_x86-linux
/usr/local/Isabelle2007/heaps/polyml_x86-linux
I tried looking at the exising topics and using the
suggestions regarding this issue, but still I am
unable to resolve it. 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? It would be of great help to me
if some one can provide me a solution for this
problem.
Thanks,
Rajesh
____________________________________________________________________________________
Never miss a thing. Make Yahoo your home page.
http://www.yahoo.com/r/hs
Email Gateway (Aug 18 2022 at 11:30):From: Makarius <makarius@sketis.net>
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.
Makarius
Email Gateway (Aug 18 2022 at 11:32):From: Jeremy Dawson <jeremy@rsise.anu.edu.au>
Makarius wrote:
I had some problem which I think was rather similar, so I used PolyML
4.1.4 (I think),
and there was no problem building Isabelle2007 on top of that
Jeremy
Email Gateway (Aug 18 2022 at 11:33):From: Rajesh Karunamurthy <rajesh.karuna@yahoo.com>
Hi,
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,
Rajesh
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.
Makarius
____________________________________________________________________________________
Be a better friend, newshound, and
know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ
Email Gateway (Aug 18 2022 at 11:34):From: Makarius <makarius@sketis.net>
As Jeremy has pointed out already, you may try an older version of
Poly/ML, e.g. the "4.1.4" of the Isabelle2005 distribution
http://isabelle.in.tum.de/dist-Isabelle2005/contrib/
Alternatively you may try to compile the current Poly/ML 5.1 yourself on
that old Linux installation. The configuration will pick up whatever
version of libc++ is available, but it might just fail to build. See
http://sourceforge.net/project/showfiles.php?group_id=148318 for the
official polyml.5.1.tar.gz and the following README how it is usually
compiled for the Isabelle distribution (without requiring root access).
Makarius
This distribution of Poly/ML 5.1 has been compiled from the original
sources (available from http://sourceforge.net/projects/polyml/) as
follows:
tar xvzf polyml.5.1.tar.gz
cd polyml.5.1
./configure --prefix=/tmp/polyml --without-x
make
make install
Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
platform-specific target directory (e.g. polyml-5.1/x86-linux). Note
that the script Isabelle/lib/scripts/polyml-platform identifies your
platform.
Last updated: May 03 2024 at 04:19 UTC