Bug#558838: marked as done (Resolve unresolved symbols in shared libraries)
Your message dated Sun, 17 Jan 2010 17:17:14 +0000
with message-id <E1NWYkU-0001Bw-Cv@ries.debian.org>
and subject line Bug#558838: fixed in apron 0.9.10-4
has caused the Debian Bug report #558838,
regarding Resolve unresolved symbols in shared libraries
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.)
--
558838: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=558838
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: apron
Version: 0.9.10-3
Severity: wishlist
User: peter.fritzsche@gmx.de
Usertags: unresolved-symbols-so
I build all packages some time ago with binutils-gold and your package build
without an hard failure, but I noticed that you seems to provide a library in
a specific library package so other packages can link against it without
problems.... but your shared object has still some unresolved symbols which
the program which links agaomst it must resolve. This isnt a good idea because
when you introduce new dependencies the package previously linked against the
old version will break because it doesnt know about the new dependency.
Maybe you could link against all needed libraries so programs must not link
against libraries which it doesnt need to use.
Maybe it is related to following bugs which hard failed due to unresolved
symbols in programs
http://bugs.debian.org/cgi-bin/pkgreport.cgi?users=peter.fritzsche@gmx.de;tag=no-add-needed
More informations can be found at
http://wiki.debian.org/qa.debian.org/FTBFS#A2009-11-02Packagesfailingbecausebinutils-gold.2BAC8-indirectlinking
dpkg-shlibdeps already showed you the related warnings:
dpkg-shlibdeps: warning: symbol mpfr_sqrt used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_get_str used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_set_d used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_set_inf used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_init2 used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_set_d used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_set used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_out_str used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_mod used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_sub_ui used by debian/libapron/usr/lib/libapron.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 92 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol __gmpz_set_si used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_init used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_to_tcons_array used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_scalar_set_int used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_set_abort_if_exception used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_alloc used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_out_str used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_clear used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_asssub_texpr_array used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_mul_2exp used by debian/libapron/usr/lib/liboctMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 39 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol __gmpq_init used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_fdiv_q used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_cmp_si used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_to_tcons_array used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_linexpr_clear_MPQ used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_alloc used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_asssub_linexpr_array used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_cdiv_q used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_intlinearize_ap_tcons0_MPQ used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_cmp used by debian/libapron/usr/lib/libpolkaMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 77 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol ap_linexpr0_copy used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_lincons_array_clear_D used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_dimchange_init used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_get_d used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_to_tcons_array used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_set_q used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_set_abort_if_exception used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_alloc used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_coeff_set_scalar used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_asssub_linexpr_array used by debian/libapron/usr/lib/libboxD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 47 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol __gmpq_init used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_scalar_alloc used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_init_set_si used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_fdiv_q used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generator0_array_fprint used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpz_cmp_si used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_to_tcons_array used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_linexpr_is_scalar_MPQ used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_linexpr_clear_MPQ used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_alloc used by debian/libapron/usr/lib/libap_ppl.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 63 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol __gmpz_set_si used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_init used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_equal used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_fprint_MPQ used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_linexpr0_copy used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_dimchange_init used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_to_tcons_array used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_linexpr_clear_MPQ used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_set_abort_if_exception used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_alloc used by debian/libapron/usr/lib/libboxMPQ.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 57 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol mpfr_get_d used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_to_tcons_array used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_set_q used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_scalar_set_int used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_set_abort_if_exception used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_alloc used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_asssub_texpr_array used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_interval_alloc used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_linexpr0_free used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_scalar_reinit used by debian/libapron/usr/lib/liboctD.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 25 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol __gmpq_init used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_to_tcons_array used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_manager_alloc used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_asssub_linexpr_array used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_intlinearize_ap_tcons0_Rll used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_intlinearize_ap_texpr0_Rll used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_lincons_set_ap_lincons0_Rll used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_abstract0_top used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_interval_alloc used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_coeff_reinit used by debian/libapron/usr/lib/libpolkaRll.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 51 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol itv_eval_ap_linexpr0_MPFR used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_canonicalize_MPFR used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_intlinearize_ap_tcons0_array_MPFR used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_linexpr0_copy used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_dimchange_init used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_get_d used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_set4 used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_generic_to_tcons_array used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol itv_set_ap_interval_MPFR used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol mpfr_set_q used by debian/libapron/usr/lib/libboxMPFR.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 59 other similar warnings have been skipped (use -v to see them all).
dpkg-shlibdeps: warning: symbol __gmpz_set_si used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_sub used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_clear used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_init used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol pk_bound_linexpr used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_linexpr0_copy used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol __gmpq_mul used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol lincons0_of_vector used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol ap_scalar_alloc_set used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: symbol pk_free used by debian/libapron/usr/lib/libap_pkgrid.so.0 found in none of the libraries.
dpkg-shlibdeps: warning: 21 other similar warnings have been skipped (use -v to see them all).
--- End Message ---
--- Begin Message ---
Source: apron
Source-Version: 0.9.10-4
We believe that the bug you reported is fixed in the latest version of
apron, which is due to be installed in the Debian FTP archive:
apron_0.9.10-4.diff.gz
to main/a/apron/apron_0.9.10-4.diff.gz
apron_0.9.10-4.dsc
to main/a/apron/apron_0.9.10-4.dsc
libapron-dev_0.9.10-4_all.deb
to main/a/apron/libapron-dev_0.9.10-4_all.deb
libapron-ocaml-dev_0.9.10-4_i386.deb
to main/a/apron/libapron-ocaml-dev_0.9.10-4_i386.deb
libapron-ocaml_0.9.10-4_i386.deb
to main/a/apron/libapron-ocaml_0.9.10-4_i386.deb
libapron_0.9.10-4_i386.deb
to main/a/apron/libapron_0.9.10-4_i386.deb
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 558838@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated apron 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@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 17 Jan 2010 17:57:33 +0100
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source i386 all
Version: 0.9.10-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
libapron - Runtime libraries for APRON
libapron-dev - An abstract interpretation library
libapron-ocaml - Runtime libraries for APRON
libapron-ocaml-dev - An abstract interpretation library
Closes: 558838
Changes:
apron (0.9.10-4) unstable; urgency=low
.
[ Mehdi Dogguy ]
* Remove non-needed Provides for libapron-dev
* Version the build dependency on quilt: >= 0.46-7
.
[ Samuel Mimram ]
* Added link patch in order to resolve symbols, closes: #558838.
* Fix nonopt patch to build gmp.cmxa.
* Added oct_static patch in order to install oct*.a.
Checksums-Sha1:
c8c3b155e6b0ef4c23e1df13dd1fa2cdc9c2be38 1406 apron_0.9.10-4.dsc
0b861ced67f58af28621b31037df3dc55d089087 7897 apron_0.9.10-4.diff.gz
1872480ada9e3c243fad1e8334579da5204ecfd9 706426 libapron_0.9.10-4_i386.deb
daf6c92f50b25d333b59c812fd048d9531af4f3a 174406 libapron-dev_0.9.10-4_all.deb
a5c400b4db6a9dcf2efd522fb194aba4626ccaec 73946 libapron-ocaml_0.9.10-4_i386.deb
cce35f2c0727e646b105c5dd2f9adce37265c426 3128818 libapron-ocaml-dev_0.9.10-4_i386.deb
Checksums-Sha256:
98632c5c2c14dc9a435fd0e7e2de9f24f76ce3b71fff86bacd40649237b8217c 1406 apron_0.9.10-4.dsc
45318bc2ab67d763f87a5ae642280a4735885c8dc8d68172cd6da868ff111980 7897 apron_0.9.10-4.diff.gz
44d9486d6575d3492027360a5524eb241872fcec3a2a265c908516692efd50c1 706426 libapron_0.9.10-4_i386.deb
4e044558ea87c9992e3b04c3a5536154ce9d250b39151488a104e929f3fb0375 174406 libapron-dev_0.9.10-4_all.deb
f553c4a851f520b1d8b738fbbe12d995e1a70f8cf2e3ca8184f12b8618fa2844 73946 libapron-ocaml_0.9.10-4_i386.deb
8bacf85ff1b1c7f3f86045645813a466f4fede64cca72da22de605916e876a5c 3128818 libapron-ocaml-dev_0.9.10-4_i386.deb
Files:
e0571f190a9a0306838cbb3176a4c001 1406 libdevel optional apron_0.9.10-4.dsc
6d6fe752ca4925fbeef25dd10aaf93e0 7897 libdevel optional apron_0.9.10-4.diff.gz
cccc0be91797931873970b63725e283e 706426 libs optional libapron_0.9.10-4_i386.deb
d725512dc99c1ea06f9558f87a50b3f8 174406 libdevel optional libapron-dev_0.9.10-4_all.deb
93e7e9251f16905c22a07944d3f4574f 73946 ocaml optional libapron-ocaml_0.9.10-4_i386.deb
6784a6c6d4f1c38a7e3d91839f1ee89a 3128818 ocaml optional libapron-ocaml-dev_0.9.10-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAktTRKIACgkQIae1O4AJae8WrwCdHgJtIsL8vKpZpvMgQwwjexQq
YMcAnR80eIUjIBOFeKBjdf4phkRxFcKY
=fqbF
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: