summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2023-07-15 16:28:33 +0200
committerStephane Glondu <steph@glondu.net>2023-07-15 16:28:33 +0200
commit634f30e49d36a21eff8ae2e8f9e5e8336fcbfebb (patch)
treebce188b3867b65deddad856010d98ce5fc81bf65
parentbac2b4f10a7ff364b6f41ab953cd23a90be137c3 (diff)
Use ocaml_dune DH buildsystemdebian/0.1.5-2
-rw-r--r--debian/changelog7
-rw-r--r--debian/control2
-rw-r--r--debian/debian-dune1
-rwxr-xr-xdebian/rules19
4 files changed, 11 insertions, 18 deletions
diff --git a/debian/changelog b/debian/changelog
index 2124f89..d637c6e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+ocaml-xmlplaylist (0.1.5-2) unstable; urgency=medium
+
+ * Team upload
+ * Use ocaml_dune DH buildsystem
+
+ -- Stéphane Glondu <glondu@debian.org> Sat, 15 Jul 2023 16:28:20 +0200
+
ocaml-xmlplaylist (0.1.5-1) unstable; urgency=medium
* Team upload
diff --git a/debian/control b/debian/control
index 8c55411..e303356 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Build-Depends:
debhelper-compat (= 13),
dh-buildinfo,
ocaml-nox,
- dh-ocaml,
+ dh-ocaml (>= 1.2),
ocaml-dune (>= 2.0),
libxmlm-ocaml-dev
Standards-Version: 4.5.0
diff --git a/debian/debian-dune b/debian/debian-dune
new file mode 100644
index 0000000..36030f3
--- /dev/null
+++ b/debian/debian-dune
@@ -0,0 +1 @@
+xmlplaylist
diff --git a/debian/rules b/debian/rules
index c2aac8a..5f443ee 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,20 +1,5 @@
#!/usr/bin/make -f
-
-include /usr/share/ocaml/ocamlvars.mk
-
-DESTDIR = $(CURDIR)/debian/tmp
+# -*- makefile -*-
%:
- dh $@ --with ocaml
-
-override_dh_auto_build:
- dune build -p xmlplaylist
-
-override_dh_auto_install:
- dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=..$(OCAML_STDLIB_DIR)
-
-override_dh_auto_test:
- dune runtest -p xmlplaylist
-
-override_dh_auto_clean:
- dune clean
+ dh $@ --with ocaml --buildsystem ocaml_dune