Your message dated Thu, 27 Oct 2016 07:43:38 -0400
with message-id <[email protected]>
and subject line pie bindnow
has caused the Debian Bug report #837667,
regarding acl2: FTBFS with bindnow and PIE enabled
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
837667: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837667
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Greetings, and thanks for your report! These are fixed with
gcl-2.6.12-43.
Take care,
--
Camm Maguire [email protected]
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
--- End Message ---
