Bug#813885: marked as done (cppo: Missing native libraries)
Your message dated Fri, 12 Feb 2016 00:05:26 +0000
with message-id <E1aU1Ek-0005Dp-A4@franck.debian.org>
and subject line Bug#813885: fixed in cppo 1.3.1-2
has caused the Debian Bug report #813885,
regarding cppo: Missing native 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.)
--
813885: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813885
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: cppo
Version: 1.3.1-1
Severity: grave
Tags: patch
Dear Maintainer,
On architectures with OCaml support for native compilation, cppo 1.3.1-1
is missing the native libraries. (They were there in 1.1.2-2.) The patch
below fixes this problem (tested on amd64 and ppc64le), I have committed
that to the git repository.
Cheers,
-Hilko
diff --git a/debian/rules b/debian/rules
index 8d769dc..6339d8a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -26,4 +26,4 @@ endif
.PHONY: override_dh_auto_install
override_dh_auto_install:
mkdir -p $(OCAMLFIND_DESTDIR)
- make install 'BINDIR=$(DESTDIR)/usr/bin' BEST=$(OCAML_BEST)
+ make install 'BINDIR=$(DESTDIR)/usr/bin'
--- End Message ---
--- Begin Message ---
Source: cppo
Source-Version: 1.3.1-2
We believe that the bug you reported is fixed in the latest version of
cppo, 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 813885@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Hilko Bengen <bengen@debian.org> (supplier of updated cppo 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: Fri, 12 Feb 2016 00:34:00 +0100
Source: cppo
Binary: cppo
Architecture: source
Version: 1.3.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Hilko Bengen <bengen@debian.org>
Description:
cppo - cpp for OCaml
Closes: 813885
Changes:
cppo (1.3.1-2) unstable; urgency=medium
.
* Team upload
* Install native libraries where available (Closes: #813885)
Checksums-Sha1:
8dd554a4f975c260663709a02492e9c5964d1f32 1939 cppo_1.3.1-2.dsc
8c67ecee1d62c3637800d5d6515001b1e5a6c4ec 4552 cppo_1.3.1-2.debian.tar.xz
Checksums-Sha256:
8b0a123098532f4f7948094d9699a8b7414a477d4a9a85009bb9b7d69836f400 1939 cppo_1.3.1-2.dsc
fbcb60f6f7ba8bb0c32b6328ee469c422cf16c0f7c86708fae9f8f30edf671fd 4552 cppo_1.3.1-2.debian.tar.xz
Files:
8259749bafba5cbc76eb8e922477b34d 1939 ocaml optional cppo_1.3.1-2.dsc
6fba8fcfd3210ae21cf9d0022ce56b2a 4552 ocaml optional cppo_1.3.1-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWvRzhAAoJEHW3EGNcITp+e/oQAJUDmHWBmh6FdcZlim1L1+dD
lFYpFuP2mDP4lNyoaa8huDVx97O3teDz85RC8LKN6rFBxbZouuRkEmZKJ5E21xhf
88wz9B4nAD8la6Cu4qvoQ1sFRvLa6BYtw4q2VwgPdkT67BPDxzOiaGWWHY0xNbi2
FDXuHPr8Yx/tQLnLkKqLPC1Ah9CWMeQCpK99NyT7MmpQVDwA69raEsFWNY0n/lhx
B7aHms305mop+oUBDffSztR9toCqbtDC/WDQKh5Q5ydeop61zaf6/nwtlnemr0eM
3CdmxC3Gm0S+S/YQ4XLg3N+foA5XvpUfQUrp+4UfkmX7NSdt8emXtI342Pp5cgy6
5vBTgEFKbX9gs9EbzAPRMuaXXcKEWgbH0fqu7nSwdyj+5zv07V29yuubj4iPNndy
LYnNeg1YP8w/eAY5jMkWRSdegsTsNIu/EDNUrz5fqB5MW6ETdV586T66TPe/fak3
9259oduWjTVegnx/tUcSH1Q/9zmQUAkw+gXSENeHz+HPCyUU/jlNxeAENOY3SIY+
uir5eCTVa9mCiKBD+Hz+AialuzlZ7ZzplM9Ik8xLbRGX2xqpwhkbSYOUgYEsEZOq
Kw3NQsCwxkOMXbhciHOti0iy1agV4vnyuuRbAJ/557/NXjhESf9dP1FO/6guIKRU
VH4XOXoGd1plpa5nYW3s
=PwD5
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: