Source: acl2 Version: 8.1dfsg-4 Tags: patch, acl2 FTBFS fails with following message:
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<<PKGBUILDDIR>>/acl2-fns.o. ;; Loading #p"acl2-fns.o" Unknown reloc type 31 This has been already identified in bug #942312 for gcl The relocation type 31 == R_PPC64_PLT16_HA and apparently it is not yet handled. Solution: use compilation flag -mno-pltseq to avoid generation of that bad instruction. Regards -- Thierry Fauck @ fr.ibm.com