Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
2f7f3946
by Stephane Glondu at 2024-08-03T09:34:17+02:00
-
61a43c18
by Stephane Glondu at 2024-08-03T09:34:42+02:00
-
1bbfb1f7
by Stephane Glondu at 2024-08-03T10:09:28+02:00
2 changed files:
Changes:
1 | +ssreflect (2.2.0-2) unstable; urgency=medium
|
|
2 | + |
|
3 | + * Do not hardcode /usr/lib/ocaml
|
|
4 | + |
|
5 | + -- Stéphane Glondu <glondu@debian.org> Sat, 03 Aug 2024 10:09:08 +0200
|
|
6 | + |
|
1 | 7 | ssreflect (2.2.0-1) unstable; urgency=medium
|
2 | 8 | |
3 | 9 | * New upstream release.
|
... | ... | @@ -15,11 +15,11 @@ override_dh_auto_build: |
15 | 15 | override_dh_auto_install:
|
16 | 16 | $(MAKE) -C mathcomp install DSTROOT=$(CURDIR)/debian/tmp
|
17 | 17 | for pkg in algebra character field fingroup solvable ssreflect; do \
|
18 | - find debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/$$pkg -regextype posix-awk \
|
|
18 | + find debian/tmp$(COQ_USERCONTRIB_DIR)/mathcomp/$$pkg -regextype posix-awk \
|
|
19 | 19 | -regex '.*\.(v|vo|vos|glob)$$' \
|
20 | 20 | >> debian/libcoq-mathcomp-$$pkg.install ; \
|
21 | 21 | done
|
22 | - find debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/all -regextype posix-awk \
|
|
22 | + find debian/tmp$(COQ_USERCONTRIB_DIR)/mathcomp/all -regextype posix-awk \
|
|
23 | 23 | -regex '.*\.(v|vo|vos|glob)$$' \
|
24 | 24 | >> debian/libcoq-mathcomp.install ;
|
25 | 25 |