Hi,

Thank you for this report.

On 12/08/2017 09:33, Adrian Bunk wrote:
> 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
> 

For reference: After seeing this build failure after my upload, I have sent
a mail to upstream asking whether bytecode architectures are still supported.
I didn't want to patch Frama-C to make it build again there is there is no
will from upstream to support those architectures (It is trivial to fix but
might a useless effort). I am still waiting for their reply.

-- 
Mehdi

Reply via email to