Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ppx-optcomp
Commits: fb125eac by Stephane Glondu at 2023-08-06T07:52:14+02:00 Use ocaml_dune DH buildsystem - - - - - 4 changed files: - debian/changelog - debian/control - + debian/debian-dune - debian/rules Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +ppx-optcomp (1:0.16.0-3) unstable; urgency=medium + + * Use ocaml_dune DH buildsystem + + -- Stéphane Glondu <[email protected]> Sun, 06 Aug 2023 07:52:10 +0200 + ppx-optcomp (1:0.16.0-2) unstable; urgency=medium * Fix compilation with a recent dune. ===================================== debian/control ===================================== @@ -11,7 +11,7 @@ Build-Depends: libbase-ocaml-dev (>= 0.14), libstdio-ocaml-dev (>= 0.14), libppxlib-ocaml-dev (>= 0.23.0), - dh-ocaml + dh-ocaml (>= 1.2) Standards-Version: 4.6.2 Rules-Requires-Root: no Vcs-Browser: https://salsa.debian.org/ocaml-team/ppx-optcomp ===================================== debian/debian-dune ===================================== @@ -0,0 +1 @@ +ppx_optcomp ===================================== debian/rules ===================================== @@ -1,21 +1,7 @@ #!/usr/bin/make -f +# -*- makefile -*- -DESTDIR = $(CURDIR)/debian/tmp include /usr/share/ocaml/ocamlvars.mk %: - dh $@ --with ocaml - -override_dh_auto_build: - dune build -p ppx_optcomp - -override_dh_auto_test: -ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) - dune runtest -p ppx_optcomp -endif - -override_dh_auto_install: - dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=$(OCAML_STDLIB_DIR) - rm -f $(DESTDIR)/usr/doc/ppx_optcomp/LICENSE.md - -override_dh_dwz: + dh $@ --with ocaml --buildsystem ocaml_dune View it on GitLab: https://salsa.debian.org/ocaml-team/ppx-optcomp/-/commit/fb125eacf8170c130cadc6d0bc35b1052a7058cf -- View it on GitLab: https://salsa.debian.org/ocaml-team/ppx-optcomp/-/commit/fb125eacf8170c130cadc6d0bc35b1052a7058cf You're receiving this email because of your account on salsa.debian.org.
