summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2023-08-13 17:51:08 +0200
committerStephane Glondu <steph@glondu.net>2023-08-13 17:51:08 +0200
commit4b3b3ca7d51ce0dabed2fdf9f2b0f4bc93c2597b (patch)
tree929d60b3f2bc8bf7ff020f76c5dec5dddaa28b18
parent3e725f37487c230d491f73264d549f614acee484 (diff)
Use ocaml_dune DH buildsystem
-rw-r--r--debian/changelog6
-rw-r--r--debian/control2
-rw-r--r--debian/debian-dune1
-rwxr-xr-xdebian/rules13
4 files changed, 9 insertions, 13 deletions
diff --git a/debian/changelog b/debian/changelog
index ac37dba..a88d2e8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ocaml-sexplib0 (0.16.0-3) UNRELEASED; urgency=medium
+
+ * Use ocaml_dune DH buildsystem
+
+ -- Stéphane Glondu <glondu@debian.org> Sun, 13 Aug 2023 17:51:05 +0200
+
ocaml-sexplib0 (0.16.0-2) unstable; urgency=medium
* Team upload.
diff --git a/debian/control b/debian/control
index 9a9e4c4..0850117 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Build-Depends:
debhelper-compat (= 13),
ocaml,
ocaml-dune,
- dh-ocaml
+ dh-ocaml (>= 1.2)
Standards-Version: 4.6.1
Rules-Requires-Root: no
Section: ocaml
diff --git a/debian/debian-dune b/debian/debian-dune
new file mode 100644
index 0000000..7a15155
--- /dev/null
+++ b/debian/debian-dune
@@ -0,0 +1 @@
+sexplib0
diff --git a/debian/rules b/debian/rules
index 1823e88..91ce70b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -3,16 +3,5 @@
include /usr/share/ocaml/ocamlvars.mk
-DESTDIR=$(CURDIR)/debian/tmp
-
%:
- dh $@ --with ocaml
-
-override_dh_auto_build:
- dune build -p sexplib0
-
-override_dh_auto_install:
- dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=$(OCAML_STDLIB_DIR)
- rm -f $(DESTDIR)/usr/doc/sexplib0/LICENSE.md
-
-override_dh_dwz:
+ dh $@ --with ocaml --buildsystem ocaml_dune