On 14/07/10 20:26 , satrio wrote:
> Inside the hol directory, I type "poly < tools/smart-configure.sml" and
> this is what happen after I type that command:
> Poly/ML 5.2 Release
> > # # # # # # # # # # #
> HOL smart configuration.
>
> Determining configuration parameters: holdir OS poly polymllibdir
> OS: macosx
> poly: /opt/local/bin/poly
> polymllibdir: /opt/local/lib
> holdir: /Users/satrio/hol
> dynlib_available: false
> Configuration will begin with above values. If they are wrong
> press Control-C.
> ...
What is the value of your DYLD_LIBRARY_PATH environment variable when
you run poly?
(You can find this out by typing
echo $DYLD_LIBRARY_PATH
at the shell prompt.)
If it doesn't include /opt/local/lib, I think your build will fail as
yours has.
Michael
------------------------------------------------------------------------------
This SF.net email is sponsored by Sprint
What will you do first with EVO, the first 4G phone?
Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
