diff options
author | Stephane Glondu <steph@glondu.net> | 2023-07-14 09:32:00 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-07-14 09:32:00 +0200 |
commit | ec56cf5a33e0a587baa94ec66af0881329dd56c0 (patch) | |
tree | 7c3263a59b5ba03286935afa81f39cb3e81bf90a | |
parent | 7cb00f796a7c3e530e5283279d57f57930b79af8 (diff) |
Fix build with recent dune (Closes: #1041000)debian/1.6.9-2
-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 |