Bug#871912: frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work.

2017-09-04 Thread Ralf Treinen
Hi, On Sat, Aug 12, 2017 at 03:03:11PM -0400, Mehdi Dogguy wrote: > 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 * > >

Bug#871912: frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work.

2017-08-12 Thread Mehdi Dogguy
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 ->

Bug#871912: frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work.

2017-08-12 Thread Adrian Bunk
Source: frama-c Version: 20170501+phosphorus+dfsg-1 Severity: serious https://buildd.debian.org/status/package.php?p=frama-c=sid ... configure: *** configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * configure: