From 7fafdf9bd2b7837073b18bf10d23aa80f425fb81 Mon Sep 17 00:00:00 2001 From: Julien Puydt Date: Thu, 6 Jul 2023 08:56:38 +0200 Subject: [PATCH] Fix compilation with recent dune --- debian/changelog | 1 + debian/rules | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 9c85fe2..f2ac93b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,7 @@ ocaml-eqaf (0.9-2) UNRELEASED; urgency=medium * Fix d/watch. * Bump standards-version to 4.6.2 + * Fix compilation with recent dune -- Julien Puydt Thu, 06 Jul 2023 08:55:15 +0200 diff --git a/debian/rules b/debian/rules index ccbc4e9..0e33762 100755 --- a/debian/rules +++ b/debian/rules @@ -11,5 +11,5 @@ override_dh_auto_build: dune build -p eqaf 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* -- 2.30.2