[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#837456: marked as done (ocamlgraph needs PIE binNMU)

Your message dated Sun, 6 Nov 2016 12:46:00 +0100
with message-id <1f3e7efe-7262-de6e-68ed-c00f48a3372c@dogguy.org>
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 owner@bugs.debian.org
immediately.)


-- 
837456: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837456
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: frama-c
Version: 20151002+magnesium+dfsg-1
Severity: important
User: balint@balintreczey.hu
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 ---
Reply to: