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 |