diff options
author | Stephane Glondu <steph@glondu.net> | 2023-07-14 11:58:48 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-07-14 11:58:48 +0200 |
commit | 300cc966cfaa081a52ac2c3a9dc51e3da01b32be (patch) | |
tree | 67e6ea5d11576c21b448b797c53ca4a842412865 | |
parent | 187e378862fa7ec8786be1b7dd50005e26196ea1 (diff) |
Fix build with recent dune (Closes: #1041034)debian/1.6-3
-rw-r--r-- | debian/changelog | 7 | ||||
-rwxr-xr-x | debian/rules | 2 |
2 files changed, 8 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 8c3312c..1cab382 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +ocaml-benchmark (1.6-3) unstable; urgency=medium + + * Team upload + * Fix build with recent dune (Closes: #1041034) + + -- Stéphane Glondu <glondu@debian.org> Fri, 14 Jul 2023 11:58:48 +0200 + ocaml-benchmark (1.6-2) unstable; urgency=medium * Team upload diff --git a/debian/rules b/debian/rules index 8950c3e..2d98311 100755 --- a/debian/rules +++ b/debian/rules @@ -15,5 +15,5 @@ override_dh_auto_build: dune build -p benchmark override_dh_auto_install: - dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=..$(OCAML_STDLIB_DIR) + dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=$(OCAML_STDLIB_DIR) rm -f $(DESTDIR)/usr/doc/benchmark/LICENSE.md |