Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / lambda-term
Commits:
-
60c323c4
by Stephane Glondu at 2023-08-13T19:26:18+02:00
4 changed files:
Changes:
| 1 | +lambda-term (3.3.1-3) UNRELEASED; urgency=medium
|
|
| 2 | + |
|
| 3 | + * Use ocaml_dune DH buildsystem
|
|
| 4 | + |
|
| 5 | + -- Stéphane Glondu <glondu@debian.org> Sun, 13 Aug 2023 19:26:00 +0200
|
|
| 6 | + |
|
| 1 | 7 | lambda-term (3.3.1-2) unstable; urgency=medium
|
| 2 | 8 | |
| 3 | 9 | * Fix compilation with our now-current dune.
|
| ... | ... | @@ -14,7 +14,7 @@ Build-Depends: |
| 14 | 14 | libmew-vi-ocaml-dev,
|
| 15 | 15 | ocaml-dune (>= 3.9.0),
|
| 16 | 16 | ocaml,
|
| 17 | - dh-ocaml
|
|
| 17 | + dh-ocaml (>= 1.2)
|
|
| 18 | 18 | Standards-Version: 4.6.2
|
| 19 | 19 | Rules-Requires-Root: no
|
| 20 | 20 | Section: ocaml
|
| 1 | +lambda-term |
| 1 | 1 | #!/usr/bin/make -f
|
| 2 | 2 | # -*- makefile -*-
|
| 3 | 3 | |
| 4 | -# Uncomment this to turn on verbose mode.
|
|
| 5 | -#export DH_VERBOSE=1
|
|
| 6 | - |
|
| 7 | -DESTDIR=$(CURDIR)/debian/tmp
|
|
| 8 | - |
|
| 9 | 4 | include /usr/share/ocaml/ocamlvars.mk
|
| 10 | 5 | |
| 11 | 6 | %:
|
| 12 | - dh $@ --with ocaml
|
|
| 13 | - |
|
| 14 | -override_dh_auto_build:
|
|
| 15 | - dune build -p lambda-term --verbose
|
|
| 16 | - |
|
| 17 | -override_dh_auto_install:
|
|
| 18 | - dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=$(OCAML_STDLIB_DIR) --verbose
|
|
| 19 | - rm -f $(DESTDIR)/usr/doc/lambda-term/LICENSE
|
|
| 20 | - |
|
| 21 | -override_dh_auto_test:
|
|
| 22 | -ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
|
|
| 23 | - dune runtest -p lambda-term --verbose
|
|
| 24 | -endif |
|
| 7 | + dh $@ --with ocaml --buildsystem ocaml_dune |