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
