diff options
-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 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 <glondu@debian.org> 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 |