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

Bug#854787: marked as done (unusable plugin)



Your message dated Wed, 22 Feb 2017 13:03:44 +0000
with message-id <E1cgWa8-0005EX-ME@fasolo.debian.org>
and subject line Bug#854787: fixed in ocaml-zarith 1.4.1-2
has caused the Debian Bug report #854787,
regarding unusable plugin
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.)


-- 
854787: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=854787
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libzarith-ocaml
Version: 1.4.1-1
Severity: important

Hello,

$ cat plugin.ml
print_endline Z.(to_string (one + of_string Sys.argv.(1)))
$ cat loader.ml
open Dynlink
let () =
  try
    loadfile "/usr/lib/ocaml/zarith/zarith.cmxs";
    loadfile "plugin.cmxs"
  with Error e -> prerr_endline (error_message e)
$ ocamlfind ocamlopt -package zarith -shared -o plugin.cmxs plugin.ml
$ ocamlfind ocamlopt -package dynlink -linkpkg -linkall -o loader loader.ml
$ ./loader 42
error loading shared library: /tmp/glondu/plugin.cmxs: undefined symbol: camlZ

My suspicion is that zarith.cmxs has been compiled without -linkall:

$ ocamlopt -linkall -shared -I /usr/lib/ocaml/zarith -o zarith.cmxs zarith.cmxa
$ sed -i 's@/usr/lib/ocaml/zarith/@@' loader.ml
$ ocamlfind ocamlopt -package dynlink -linkpkg -linkall -o loader loader.ml
$ ./loader 42
43

Cheers,

-- 
Stéphane

-- System Information:
Debian Release: 9.0
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.8.0-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages libzarith-ocaml depends on:
ii  libc6                                   2.24-8
ii  libgmp10                                2:6.1.2+dfsg-1
ii  ocaml-base-nox [ocaml-base-nox-4.02.3]  4.02.3-9

libzarith-ocaml recommends no packages.

libzarith-ocaml suggests no packages.

-- no debconf information

--- End Message ---
--- Begin Message ---
Source: ocaml-zarith
Source-Version: 1.4.1-2

We believe that the bug you reported is fixed in the latest version of
ocaml-zarith, 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 854787@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated ocaml-zarith 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: SHA512

Format: 1.8
Date: Wed, 22 Feb 2017 11:17:47 +0100
Source: ocaml-zarith
Binary: libzarith-ocaml-dev libzarith-ocaml libzarith-ocaml-doc
Architecture: source amd64 all
Version: 1.4.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 libzarith-ocaml - arithmetic and logical operations over arbitrary-precision intege
 libzarith-ocaml-dev - arithmetic and logical operations over arbitrary-precision intege
 libzarith-ocaml-doc - arithmetic and logical operations over arbitrary-precision intege
Closes: 854787
Changes:
 ocaml-zarith (1.4.1-2) unstable; urgency=medium
 .
   * Team upload
   * Build plugin with -linkall (Closes: #854787)
Checksums-Sha1:
 fb2c15a01c155902d551439ad9e8713d2c6f8654 2230 ocaml-zarith_1.4.1-2.dsc
 18a3696d4a7e9e071fc041e82904269b36a07f10 3856 ocaml-zarith_1.4.1-2.debian.tar.xz
 6ef22a97fb57f12d5c7dc05b7ab5047c76c6ef50 85310 libzarith-ocaml-dbgsym_1.4.1-2_amd64.deb
 32cb5cf4ecb8921adbf3c791cab00afc3716129d 47206 libzarith-ocaml-dev_1.4.1-2_amd64.deb
 60e41065a4011bdbd5999cddfee86c0262ed3fd2 20598 libzarith-ocaml-doc_1.4.1-2_all.deb
 5476eb816304a3ee92835ac0dc4cf2fc5f11541e 43938 libzarith-ocaml_1.4.1-2_amd64.deb
 de1fc1c81da14edb9e2558f916099da3c3831e44 5822 ocaml-zarith_1.4.1-2_amd64.buildinfo
Checksums-Sha256:
 ea3a8e0c4294cd8216ca73c97bf49322a1f88c1384d8c0f2f1e2f96e3ada6f58 2230 ocaml-zarith_1.4.1-2.dsc
 52205865d963b3250e61a98fc72391773c36c264e2f301790207a06ec4a47707 3856 ocaml-zarith_1.4.1-2.debian.tar.xz
 4f33a6358616b5467e5ecd5ada97a280f85c982124db597ab79496455ffbdad0 85310 libzarith-ocaml-dbgsym_1.4.1-2_amd64.deb
 3f88af809c0e6c4b66379b7bb88f45d2688da72c17c246a27d7b47794694eb1c 47206 libzarith-ocaml-dev_1.4.1-2_amd64.deb
 7cfc44493f0f947e86cf1eeb7efd64a9bceb5fcf921b1758776d1a8294d4b4d7 20598 libzarith-ocaml-doc_1.4.1-2_all.deb
 5787659a48d256d8472b36418116befb17d16e9dea7e39150091e41fadade070 43938 libzarith-ocaml_1.4.1-2_amd64.deb
 a5f3de036239015410b25d5cd9eb01a1cbc60d715c2ff45202d2754a177a2464 5822 ocaml-zarith_1.4.1-2_amd64.buildinfo
Files:
 a3c67dbf912ed8f66be964496bb1a9c0 2230 ocaml optional ocaml-zarith_1.4.1-2.dsc
 f4d0d6d7849545cc8797a1308f3d3540 3856 ocaml optional ocaml-zarith_1.4.1-2.debian.tar.xz
 6491ce2d721f7373fb1bb4d16b8170ab 85310 debug extra libzarith-ocaml-dbgsym_1.4.1-2_amd64.deb
 7e3b02f0fd7efc62525034ea9083253c 47206 ocaml optional libzarith-ocaml-dev_1.4.1-2_amd64.deb
 b55e86e5704bce5190ce685b945ee085 20598 doc optional libzarith-ocaml-doc_1.4.1-2_all.deb
 307f6a0acf5cb991c6ee16b0fd15e20d 43938 ocaml optional libzarith-ocaml_1.4.1-2_amd64.deb
 4efd2e7ba76cfcfbd5d0cd28235fae9f 5822 ocaml optional ocaml-zarith_1.4.1-2_amd64.buildinfo

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

iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlithh0ACgkQeFPaTUmI
GtPqOhAAs+q7fwqWuMqZV3Kn+W1IaN52LNfOOfkwB7jxX7VtOmVxDTuHWW1Xh4hm
igKiVw+tLCb9/zfcmj3UMCHiCM78NRvj+IOgglw7vkDycAvjAMvGJFmBtT9+qi3b
lTE3HJsg1KQrEboiE8E0uHVSHUKSloIIkX8CVuysbkHKLtlGaE1l12npTvuqDJgZ
RynvS/LQwNiAoy+0ZyqMfsA1UAL4rOgTgNbCLKOdznCf+oD2IkBvucHV0XDICphd
tkJNdcFiluwql2+T7VOZZTfSi6BSZfscItw2pOfqbnVOqmzEPe4mWqaV6lq78j+z
B/uF+X92s62ObMpw0nvExKdge7hoYc7shHlIoZvFZhCdVdbBSQzUAr5F7ws2YOvy
hpCvF3aN3QPBODqnD49ngLhevbOl7D0W7hcuS5SlD1thBfae/XZQohIa7BzlvOUh
qhQlMYM9cyU5dFftF0975BUwOLEIcMyiUm9fL2PW7W3JBXk2wOgCs9mW5xjNUrUC
FF2OsYMYnMfAbMfmLupUIzDM32hDcYMuW6xXfEQ9T3qihMnpMSthtQPE1DA/zrO6
nh93P0nJw5cjirsfKTodPJQN2TQT8ZjUaABY+MS0aEInvETDvhEVrEw3D/XLHqha
Nz8GRHBPTthC/coPNZnYcZwK9+x9j3z9m7vcaWzv/P7Qd5Bz6ak=
=TmZu
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: