On 04/10/2012 00:12, Ian Zimmerman wrote:
Mitra> Hello All, I am installing HOL for the first time. I have already Mitra> installed polyml as per the instructions given by its developers. Mitra> However, I face the following problem while smart-configuring.
Mitra> OS: linux
Mitra> Poly/ML 5.4.1 Release Mitra> # Making tools/mlyacc/mlyacc.exe. Mitra> /net/camugnano/dataL/mpu/CryptographyVerification/TheoremProvers/hol4.k.7/tools/mllex/mllex.exe: Mitra> error while loading shared libraries: libpolyml.so.3: cannot open shared Mitra> object file: No such file or directory Mitra> Failed to build mlyacc.
What kind of linux are you on? Distribution, architecture? Have you installed polyml from source or from a package in your distro? What is the output of the following command?
locate libpolyml.so.3
There's so little information to go on that it's not possible to say what is wrong. It looks suspiciously as though you've installed the library somewhere (e.g. /usr/local/lib) that is not in the library path. See http://www.polyml.org/download.html .
David