Bug#1042097: marked as done (menhir FTBFS with ocaml-dune 3.9.1)
Your message dated Wed, 26 Jul 2023 20:56:26 +0000
with message-id <E1qOlYY-006nkT-Dn@fasolo.debian.org>
and subject line Bug#1042097: fixed in menhir 20220210+ds1-1
has caused the Debian Bug report #1042097,
regarding menhir FTBFS with ocaml-dune 3.9.1
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.)
--
1042097: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042097
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: menhir
Version: 20220210+ds-2
Severity: serious
Tags: ftbfs trixie sid
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/menhir.html
...
debian/rules override_dh_auto_install
make[1]: Entering directory '/build/1st/menhir-20220210+ds'
DESTDIR=/build/1st/menhir-20220210+ds/debian/tmp dune install --prefix=usr --libdir=lib/ocaml
dune: option '--libdir': the path must be absolute to avoid ambiguity
Usage: dune install [OPTION]… [PACKAGE]…
Try 'dune install --help' or 'dune --help' for more information.
make[1]: *** [debian/rules:18: override_dh_auto_install] Error 1
--- End Message ---
--- Begin Message ---
Source: menhir
Source-Version: 20220210+ds1-1
Done: Stéphane Glondu <glondu@debian.org>
We believe that the bug you reported is fixed in the latest version of
menhir, 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 1042097@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 menhir 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, 26 Jul 2023 21:36:14 +0200
Source: menhir
Architecture: source
Version: 20220210+ds1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1042097
Changes:
menhir (20220210+ds1-1) unstable; urgency=medium
.
* Team upload
* Properly repack upstream sources, without coq-menhirlib
* Use ocaml_dune DH buildsystem (Closes: #1042097)
* Bump Standards-Version to 4.6.2
Checksums-Sha1:
7f2106b677e81ef541951c0a7811307d85b1b370 2095 menhir_20220210+ds1-1.dsc
392e1d09a344ab85635a332a42f59f87e1190b22 503944 menhir_20220210+ds1.orig.tar.xz
c0644f8f7767f8231825df2d45e2a055c92a27b8 13472 menhir_20220210+ds1-1.debian.tar.xz
Checksums-Sha256:
7f1c8aba0ef60ea3d2d55ab208588c2b195ccf006440bf8f531cd7341dac6199 2095 menhir_20220210+ds1-1.dsc
48e69ea28608a5c6f6e8865e14f4282c7a54145f9159d5f523c755a1a002c6a5 503944 menhir_20220210+ds1.orig.tar.xz
7852ea7c6c0569755f8ccaf3c49082a922b29e4df620f07aa315e8e3cc17c9b9 13472 menhir_20220210+ds1-1.debian.tar.xz
Files:
8d5f6db7566cd1431c3d089f6a802df1 2095 ocaml optional menhir_20220210+ds1-1.dsc
8b5ccf91b21800315904dc4683f14ef6 503944 ocaml optional menhir_20220210+ds1.orig.tar.xz
cdb8ebb31068435747bab28ccff2dae3 13472 ocaml optional menhir_20220210+ds1-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTBdn4SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB8H8H/REG6Ahf6vkeUsE+4DVfuoDO/gNBFmrv
Urhs2ELVyPg+D9rXdXB0gJSMb8f9SUzrukiV625ZcWi1gu4pAgVYsdGqF7rwcyak
QyW2it5jzRSx87HNq9nZ7VEZK/n2BPP583qCE93c8QbAGRyUfzUS8WDbhb1yb9k4
gf4CN6D7MDXVs+tviZlAk3UViRD5fb7P/VD+/ZJWiwJebsz7zKzzCKg9t433nVVq
FwU4Jl7daDm9Vq5DlwCrSTNjXXn9gewoslqq5iII4rkNbChMRkELYgik70lpKAm/
09Cq/kDJJkdrm1WTnDeIbA5926EcIYeR+hayehz7Tz3Ys/QZgIJo3i0=
=rP+6
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: