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 |