On 03/10/12 22:10, Mitra Purandare wrote: > I am installing HOL for the first time. I have already installed > polyml as per the instructions given by its developers. However, I > face the following problem while smart-configuring.
> Can anybody point out what I should do to fix it? > Beginning configuration. > Making tools/mllex/mllex.exe. > Poly/ML 5.4.1 Release > > # Making tools/mlyacc/mlyacc.exe. > /net/camugnano/dataL/mpu/CryptographyVerification/TheoremProvers/hol4.k.7/tools/mllex/mllex.exe: > error while loading shared libraries: libpolyml.so.3: cannot open shared > object > file: No such file or directory > Failed to build mlyacc. > [mpu@camugnano .../TheoremProvers/hol4.k.7]$ Your LD_LIBRARY_PATH environment variable needs to include the poly lib directory that houses libpolyml.so.3 Let me know if you need any further help with this. Best, Michael ------------------------------------------------------------------------------ Don't let slow site performance ruin your business. Deploy New Relic APM Deploy New Relic app performance management and know exactly what is happening inside your Ruby, Python, PHP, Java, and .NET app Try New Relic at no cost today and get our sweet Data Nerd shirt too! http://p.sf.net/sfu/newrelic-dev2dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
