Debian Bug report logs - #837456
ocamlgraph needs PIE binNMU

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Balint Reczey <balint@balintreczey.hu>

To: submit@bugs.debian.org

Subject: frama-c: FTBFS with bindnow and PIE enabled

Date: Sun, 11 Sep 2016 20:20:27 +0200

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

Message #14 received at 837456@bugs.debian.org (full text, mbox, reply):

From: Adrian Bunk <bunk@stusta.de>

To: 837456@bugs.debian.org

Subject: ocamlgraph needs PIE binNMU

Date: Mon, 24 Oct 2016 20:04:41 +0300

Control: rassagn -1 src:ocamlgraph
Control: affects -1 src:frama-c
Control: retitle -1 ocamlgraph needs PIE binNMU

A binNMU is sufficient to fix this, and already requested.

cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed

Message #29 received at 837456@bugs.debian.org (full text, mbox, reply):

From: Mehdi Dogguy <mehdi@dogguy.org>

To: Adrian Bunk <bunk@stusta.de>, 837456@bugs.debian.org

Subject: Re: Bug#837456: ocamlgraph needs PIE binNMU

Date: Sun, 6 Nov 2016 10:18:06 +0100

Control: reassign -1 src:ocaml
Control: merge 837359 -1
Control: affects -1 src:ocamlgraph

Hi,

On 24/10/2016 19:04, Adrian Bunk wrote:
> Control: rassagn -1 src:ocamlgraph
> Control: affects -1 src:frama-c
> Control: retitle -1 ocamlgraph needs PIE binNMU
> 
> A binNMU is sufficient to fix this, and already requested.
> 

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.

Regards,

-- 
Mehdi

Message #38 received at 837456-done@bugs.debian.org (full text, mbox, reply):

From: Mehdi Dogguy <mehdi@dogguy.org>

To: 837456-done@bugs.debian.org, Adrian Bunk <bunk@stusta.de>

Subject: Re: Bug#837456: ocamlgraph needs PIE binNMU

Date: Sun, 6 Nov 2016 12:46:00 +0100

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

Send a report that this bug log contains spam.