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
