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 This is more suitable for the polyml list, so redirecting there. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png Rule 420: All persons more than eight miles high to leave the court. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
