GCL and -mlongcalls
Greetings! acl2 currently fails to pass all tests on powerpc as the
modules compiled by the underlying GCL overflow in the relocation code
when being loaded. This is fixed on other 24bit relocation machines
(e.g. arm) with a -mlong-calls gcc option, which is only available for
powerpc in the upcoming 3.3 GCC release.
As this is a sure fix, my plan is to wait for GCC 3.3. Does anyone
know if either 1) 3.3 is likely to be released after sarge, or 2)
powerpc gcc people are perchance planning a backport of -mlongcalls to
the 3.2 package?
Camm Maguire email@example.com
"The earth is but one country, and mankind its citizens." -- Baha'u'llah