Greetings! Just a quick note that we've recently verified that GCL self builds, builds ACL2, and runs its regression without error (16 parallel processes taking several hours), using the apple supplied gcc. When we get a macports package, I imagine we will use the macports gcc, but I expect the results to be the same.
Take care, -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
