From ec56cf5a33e0a587baa94ec66af0881329dd56c0 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 14 Jul 2023 09:32:00 +0200 Subject: Fix build with recent dune (Closes: #1041000) --- debian/changelog | 7 +++++++ debian/rules | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 7d37ce9..64cbbb3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +cppo (1.6.9-2) unstable; urgency=medium + + * Team upload + * Fix build with recent dune (Closes: #1041000) + + -- Stéphane Glondu Fri, 14 Jul 2023 09:31:50 +0200 + cppo (1.6.9-1) unstable; urgency=medium * Team upload diff --git a/debian/rules b/debian/rules index 25ae1ed..be3f9cd 100755 --- a/debian/rules +++ b/debian/rules @@ -16,5 +16,5 @@ BUILD_PATH=_build/install/default/lib/cppo_ocamlbuild .PHONY: override_dh_auto_install 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/*/LICENSE.md -- cgit v1.2.3