Hello Michael
HOL compiled successfully. Thanks for your help.
MItra
From: Michael Norrish <[email protected]>
To: Mitra Purandare/Zurich/IBM@IBMCH,
Cc: [email protected]
Date: 10/04/2012 01:10 AM
Subject: Re: [Hol-info] HOL installation problem
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
