I didn't have any trouble after I got the Lion developer tools installed and rebuilt poly from sources. That was also with Poly 5.3
Michael On 13/08/2011, at 11:44 AM, Peter Vincent Homeier <[email protected]> wrote: > I recently upgraded to Mac OS X 10.7 Lion, but regretted it when Poly/ML > seemed to stop working, at least for building HOL. This is *with* the > current version of Xcode, 4.1, installed. I have Poly/ML version 5.3 > installed (yes it's old, but it worked, until now). > > When running > > poly < tools/smart-configure.sml > > I saw > . . . > Making tools/mllex/mllex.exe. > Poly/ML 5.3 Release > > # ld: library not found for -lcrt1.10.6.o > collect2: ld returned 1 exit status > Failed to build mllex. > > But I found a workaround. > > cd /usr/lib > sudo ln -s /Developer/SDKs/MacOSX10.6.sdk/usr/lib/crt1.10.6.o . > > With this change, HOL builds with Poly/ML. > > Perhaps this can help someone else. > > Peter > -- > "In Your majesty ride prosperously > because of truth, humility, and righteousness; > and Your right hand shall teach You awesome things." (Psalm 45:4) > ------------------------------------------------------------------------------ > FREE DOWNLOAD - uberSVN with Social Coding for Subversion. > Subversion made easy with a complete admin console. Easy > to use, easy to manage, easy to install, easy to extend. > Get a Free download of the new open ALM Subversion platform now. > http://p.sf.net/sfu/wandisco-dev2dev > _______________________________________________ > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info ------------------------------------------------------------------------------ FREE DOWNLOAD - uberSVN with Social Coding for Subversion. Subversion made easy with a complete admin console. Easy to use, easy to manage, easy to install, easy to extend. Get a Free download of the new open ALM Subversion platform now. http://p.sf.net/sfu/wandisco-dev2dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
