Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
56876c50
by Julien Puydt at 2022-02-05T08:45:48+01:00
-
17902e20
by Julien Puydt at 2022-02-05T09:55:27+01:00
4 changed files:
- debian/changelog
- − debian/libssreflect-coq.install
- + debian/libssreflect-coq.install.in
- debian/rules
Changes:
| 1 |
+ssreflect (1.14.0-2) unstable; urgency=medium
|
|
| 2 |
+ |
|
| 3 |
+ * Make the package auto-adapt to coq's layout.
|
|
| 4 |
+ |
|
| 5 |
+ -- Julien Puydt <jpuydt@debian.org> Sat, 05 Feb 2022 09:55:07 +0100
|
|
| 6 |
+ |
|
| 1 | 7 |
ssreflect (1.14.0-1) unstable; urgency=medium
|
| 2 | 8 |
|
| 3 | 9 |
* New upstream release.
|
| 1 |
-usr/lib/coq/user-contrib/mathcomp/*/*.vo
|
|
| 2 |
-usr/lib/coq/user-contrib/mathcomp/*/*.v
|
|
| 3 |
-usr/lib/coq/user-contrib/mathcomp/*/*.glob
|
| 1 |
+# Files get added here by debian/rules
|
| ... | ... | @@ -9,14 +9,14 @@ export COQBIN := /usr/bin/ |
| 9 | 9 |
%:
|
| 10 | 10 |
dh $@
|
| 11 | 11 |
|
| 12 |
-.PHONY: override_dh_auto_build
|
|
| 13 | 12 |
override_dh_auto_build:
|
| 14 | 13 |
$(MAKE) -C mathcomp all doc
|
| 15 | 14 |
|
| 16 |
-.PHONY: override_dh_auto_install
|
|
| 17 | 15 |
override_dh_auto_install:
|
| 18 | 16 |
$(MAKE) -C mathcomp install DSTROOT=$(CURDIR)/debian/tmp
|
| 17 |
+ find debian/tmp -regextype posix-awk \
|
|
| 18 |
+ -regex '.*\.(v|vo|vos|glob)$$' \
|
|
| 19 |
+ >> debian/libssreflect-coq.install
|
|
| 19 | 20 |
|
| 20 |
-.PHONY: override_dh_gencontrol
|
|
| 21 | 21 |
override_dh_gencontrol:
|
| 22 | 22 |
dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"
|