From 0ec8fc3ed733d6e481f11303439a71dff6e96870 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 13 Aug 2023 13:01:55 +0200 Subject: [PATCH] Use ocaml_dune DH buildsystem --- debian/changelog | 6 ++++++ debian/control | 4 +++- debian/debian-dune | 1 + debian/rules | 12 ++---------- 4 files changed, 12 insertions(+), 11 deletions(-) create mode 100644 debian/debian-dune diff --git a/debian/changelog b/debian/changelog index 990dc42..bae5c61 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +ocaml-eqaf (0.9-3) UNRELEASED; urgency=medium + + * Use ocaml_dune DH buildsystem + + -- Stéphane Glondu Sun, 13 Aug 2023 13:01:53 +0200 + ocaml-eqaf (0.9-2) unstable; urgency=medium * Team upload. diff --git a/debian/control b/debian/control index d05ecc5..e050491 100644 --- a/debian/control +++ b/debian/control @@ -8,7 +8,9 @@ Build-Depends: ocaml, ocaml-dune, libcstruct-ocaml-dev, - dh-ocaml + libalcotest-ocaml-dev , + libcrowbar-ocaml-dev , + dh-ocaml (>= 1.2) Standards-Version: 4.6.2 Rules-Requires-Root: no Vcs-Browser: https://salsa.debian.org/ocaml-team/ocaml-eqaf diff --git a/debian/debian-dune b/debian/debian-dune new file mode 100644 index 0000000..6314ff6 --- /dev/null +++ b/debian/debian-dune @@ -0,0 +1 @@ +eqaf diff --git a/debian/rules b/debian/rules index 0e33762..91ce70b 100755 --- a/debian/rules +++ b/debian/rules @@ -1,15 +1,7 @@ #!/usr/bin/make -f +# -*- makefile -*- include /usr/share/ocaml/ocamlvars.mk -DESTDIR=$(CURDIR)/debian/tmp - %: - dh $@ --with ocaml - -override_dh_auto_build: - dune build -p eqaf - -override_dh_auto_install: - dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=$(OCAML_STDLIB_DIR) - rm -f $(DESTDIR)/usr/doc/*/LICENSE* + dh $@ --with ocaml --buildsystem ocaml_dune -- 2.30.2