Source: frama-c Version: 20170501+phosphorus+dfsg-1 Severity: serious https://buildd.debian.org/status/package.php?p=frama-c&suite=sid
... configure: ******************************************************* configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * configure: ******************************************************* Ocamlfind -> using +lablgtk2.(/usr/lib/ocaml/lablgtk2,/usr/lib/ocaml/lablgtk2) checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes checking for /usr/lib/ocaml/lablgtk2/lablgnomecanvas.cma... yes checking for /usr/lib/ocaml/lablgtk2/lablgtk.cma... yes checking for dot... yes configure: error: native dynlink does not work. debian/rules:13: recipe for target 'override_dh_auto_configure' failed make[1]: *** [override_dh_auto_configure] Error 2
