[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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

Your message dated Sun, 10 Sep 2017 12:19:34 +0000
with message-id <E1dr1D4-000Anf-0d@fasolo.debian.org>
and subject line Bug#871912: fixed in frama-c 20170501+phosphorus+dfsg-2
has caused the Debian Bug report #871912,
regarding frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work.
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
871912: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871912
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20170501+phosphorus+dfsg-2

We believe that the bug you reported is fixed in the latest version of
frama-c, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 871912@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (supplier of updated frama-c package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 10 Sep 2017 13:52:22 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20170501+phosphorus+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
 frama-c    - Platform dedicated to the analysis of source code written in C
 frama-c-base - Platform dedicated to the analysis of source code written in C (w
Closes: 871912 874273
Changes:
 frama-c (20170501+phosphorus+dfsg-2) unstable; urgency=medium
 .
   * Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
   * Add zsh completion file from upstream's repository
     - add 0010-Add-zsh-completion-file.patch
   * Better dynlink detection in configure script (Closes: #871912)
     - add 0009-Better-handling-of-dynlink-detection.patch
   * Fix install target in Makefile to avoid trying to install native
     objects on bytecode architectures
   * Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
     with -C on i386. (Closes: #874273, LP: #1714514). Thanks to Dimitri
     John Ledkov for the patch.
Checksums-Sha1:
 a16ceeaa3f45fa08d860f974a18078437caaa0c2 2429 frama-c_20170501+phosphorus+dfsg-2.dsc
 e147b340c331936d70784e677a933a4a08fb18d7 29688 frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz
 a8432df7ec063f7586e89ba218d5d59d9277f4b4 1090328 frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
 c7292448b94175c5cc3f4a16cec6b71c523c5f1c 21037764 frama-c-base_20170501+phosphorus+dfsg-2_amd64.deb
 3dae40b7b849bf47f670770e47476797031ed01f 1124040 frama-c-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
 f0d13750883dbfd304d5f22d8684d984db64c15c 13634 frama-c_20170501+phosphorus+dfsg-2_amd64.buildinfo
 35963be85f276a4b3eb9e44643f3b2ce72ea7db2 11106130 frama-c_20170501+phosphorus+dfsg-2_amd64.deb
Checksums-Sha256:
 8479fa269692570475f8e62596bb18f8efd41c59751db5bd55d48dae827399df 2429 frama-c_20170501+phosphorus+dfsg-2.dsc
 4683d4a3a64527bb79d3e76b0347b576578ce581a2e69d0141e598b3b60b3c3f 29688 frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz
 d02cff7ec3af266b6130c65f7721e4bea56108da784d9750b621b484003a73b7 1090328 frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
 3d9805e02a362f41f4d14c0027597981ba94774f464b1b94749af61a8214df90 21037764 frama-c-base_20170501+phosphorus+dfsg-2_amd64.deb
 6cce79fb6e82f02eceeb750afa957f63ee45b4a9d7e0399b8790f9efbefa083a 1124040 frama-c-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
 a6b3eb7b98b1c7051ffd9813c599a74dd69e4cb701a0a9a0d6b3464884e04953 13634 frama-c_20170501+phosphorus+dfsg-2_amd64.buildinfo
 f4a6155366bf7d5aa6507bdcf9510c1a9ac2cf745b6ff5eebd24fed2217e18b6 11106130 frama-c_20170501+phosphorus+dfsg-2_amd64.deb
Files:
 fb21dd1579bed6795006a0111fd158c7 2429 devel optional frama-c_20170501+phosphorus+dfsg-2.dsc
 38abb69203867c361f807ed483c0df02 29688 devel optional frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz
 2ab267d82e20298aa93bfc667471ea82 1090328 debug optional frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
 55e081101224890a59e9f8773a29dfc3 21037764 devel optional frama-c-base_20170501+phosphorus+dfsg-2_amd64.deb
 4dfba1a1ee4f6b0c0b5e1944b8868748 1124040 debug optional frama-c-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
 0f5e2c2311fddcb8f919113c4c81f828 13634 devel optional frama-c_20170501+phosphorus+dfsg-2_amd64.buildinfo
 b69b525c4a77d44c3f00db23610f19c9 11106130 devel optional frama-c_20170501+phosphorus+dfsg-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlm1KSwRHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P+d2hAAyvsmt+MZoZqrBTz0hRNd26Dv0fzCaEzZ
N+Txq3MqHnUcrNbJTNMPPOf7VTeuOws2fzz8dGQHfZ0DqlVqhLHwXHNkcROmbM9i
SMhAmQbUmDn3OhjZ+3kOymUbjJ3IReHVjz2pnarldi52tcQSOif8RBxg3Q4Fhch1
6HqR9jBvGycdkJBt/wwaGIJxG80rvDG/bF/0v3vTuQsaSRQT2b4KBthdduHOAV27
pGV+CjZfO06xQPNuwVOQDxsKgQXvXZyEU5iunQFj7IO5JSq6q8eT2RWc66Gj6tlq
mgzBJPPXAPhV472W/PZBU8to7Th51P0IglmtIoc7DR/VSAg4lkxgSmer4jrAuBka
/xJaYNWpyFISuBSjqTA4Y/kE+K3nYGDK+X0Ic5eD3Xftfc3kFVTUBYE68B1+IcMx
l7O5F0IHb6Katsds4+Gr+pKQSx2xXDSTI1AAnqcl/ppsymsuHbdoKyNb87oJKDIJ
ebjC2zNaOFzwYCJVb8/UnfYCjx5G7rVVQRe4fNL0lPp5FVNYQGAoiV8E3CNkr2ih
85t2AxZJbuzGPUOOI6RpWec+FCn3+2SrcMBZyRG1Moroe4NN8G26ti4IrbRfQ5tb
YMNNgZMbNvE4RniWx7MFfK1G/uBwHHsZ0IMBboL2nmEMgqUrncqphiSi8eyHhGcr
AzW/4fA+V5Q=
=yvfy
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: