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? Take care, -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
