Your message dated Sun, 6 Nov 2016 12:46:00 +0100
with message-id <[email protected]>
and subject line Re: Bug#837456: ocamlgraph needs PIE binNMU
has caused the Debian Bug report #837456,
regarding ocamlgraph needs PIE binNMU
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.)
--
837456: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837456
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: frama-c
Version: 20151002+magnesium+dfsg-1
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):
...
configure: switching to OcamlGraph provided by Frama-C
checking for ocamlgraph... no
checking for ocamlgraph.tar.gz... no
configure: error: cannot find OcamlGraph in the current directory.
Quite strange: would your Frama-C distribution be corrupted?
Anyway:
1. download the latest version from http://ocamlgraph.lri.fr/download
2. install it by './configure && make && make install'
3. rerun ./configure here
debian/rules:13: recipe for target 'override_dh_auto_configure' failed
make[1]: *** [override_dh_auto_configure] Error 1
make[1]: Leaving directory '/<<BUILDDIR>>/frama-c-20151002+magnesium+dfsg'
debian/rules:71: recipe for target 'build' failed
...
The full build log is available from:
https://people.debian.org/~rbalint/build-logs/pie-bindnow-20160906/frama-c_20151002+magnesium+dfsg-1_amd64.build.gz
Thanks,
Balint
--- End Message ---
--- Begin Message ---
On 06/11/2016 10:18, Mehdi Dogguy wrote:
> The binNMU has been scheduled and the only missing issue is to do with PIC on
> armhf. The issue needs to be fixed in OCaml only. Hence, I am reassigning the
> bug. Once OCaml is fixed on armhf, ocamlgraph could be given back to build.
>
ocaml (4.02.3-8) has been uploaded to fix the issue on armhf and ocamlgraph
given back (with a dep-wait) to be rebuilt with the latest ocaml once
available. So, closing this issue since all actions have been scheduled.
Regards,
--
Mehdi
--- End Message ---
