Source: acl2 Version: 7.2dfsg-2 Severity: important User: [email protected] Usertags: pie-bindnow-20160906 Justification: FTBFS on amd64 with extra hardening
Hi, During a rebuild of all packages in sid, your package failed to build on amd64 with patched GCC and dpkg. The rebuild tested if packages are ready for a transition enabling PIE and bindnow for amd64. For more information about the changes to sid's dpkg and GCC please visit: https://wiki.debian.org/Hardening/PIEByDefaultTransition Relevant part (hopefully): ... Compiling acl2-fns.lisp. End of Pass 1. ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration. ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of REV1@ was replaced by iteration. ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration. ;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<<PKGBUILDDIR>>/acl2-fns.lisp. Loading acl2-fns.o Unrelocated non-local symbol: _GLOBAL_OFFSET_TABLE_ Error: Fast links are on: do (si::use-fast-links nil) for debugging Signalled by LOAD. Condition in LOAD [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion !emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line 236 of sfaslelf.c in function relocate_symbols failed: Success Broken at LOAD. Type :H for Help. 1 Return to top level. ACL2>> Error: Fast links are on: do (si::use-fast-links nil) for debugging Signalled by LOAD. Condition in LOAD [or a callee]: INTERNAL-SIMPLE-UNDEFINED-FUNCTION: Cell error on MAKE-TAGS: Undefined function: Broken at LOAD. 1 (abort) Return to debug level 1. 2 Return to top level. ACL2>>> Error: Fast links are on: do (si::use-fast-links nil) for debugging Signalled by LOAD. Condition in LOAD [or a callee]: INTERNAL-SIMPLE-UNDEFINED-FUNCTION: Cell error on EXIT-LISP: Undefined function: Broken at LOAD. 1 (abort) Return to debug level 2. 2 Return to debug level 1. 3 Return to top level. ACL2>>>>GNUmakefile:417: recipe for target 'TAGS' failed make[2]: *** [TAGS] Error 255 ... The full build log is available from: https://people.debian.org/~rbalint/build-logs/pie-bindnow-20160906/acl2_7.2dfsg-2_amd64.build.gz Thanks, Balint
