On 17/07/10 13:52 , Michael Norrish wrote: > 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. Actually, I take this back. I think you'd have a hard time running poly at all without your DYLD_LIBRARY_PATH set up appropriately. What version of MacOS are you running, and what version of HOL are you trying to build? If you're trying to build a HOL tarball of Kananaskis-5 from sourceforge, can you try running a repository download instead? Do svn co https://hol.svn.sourceforgenet/svnroot/hol/HOL myholdir to try this. 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
