Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: 56876c50 by Julien Puydt at 2022-02-05T08:45:48+01:00 Make the package adapt to coq's layout - - - - - 17902e20 by Julien Puydt at 2022-02-05T09:55:27+01:00 Make ssreflect adapt to coq's library layout - - - - - 4 changed files: - debian/changelog - − debian/libssreflect-coq.install - + debian/libssreflect-coq.install.in - debian/rules Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +ssreflect (1.14.0-2) unstable; urgency=medium + + * Make the package auto-adapt to coq's layout. + + -- Julien Puydt <[email protected]> Sat, 05 Feb 2022 09:55:07 +0100 + ssreflect (1.14.0-1) unstable; urgency=medium * New upstream release. ===================================== debian/libssreflect-coq.install deleted ===================================== @@ -1,3 +0,0 @@ -usr/lib/coq/user-contrib/mathcomp/*/*.vo -usr/lib/coq/user-contrib/mathcomp/*/*.v -usr/lib/coq/user-contrib/mathcomp/*/*.glob ===================================== debian/libssreflect-coq.install.in ===================================== @@ -0,0 +1 @@ +# Files get added here by debian/rules ===================================== debian/rules ===================================== @@ -9,14 +9,14 @@ export COQBIN := /usr/bin/ %: dh $@ -.PHONY: override_dh_auto_build override_dh_auto_build: $(MAKE) -C mathcomp all doc -.PHONY: override_dh_auto_install override_dh_auto_install: $(MAKE) -C mathcomp install DSTROOT=$(CURDIR)/debian/tmp + find debian/tmp -regextype posix-awk \ + -regex '.*\.(v|vo|vos|glob)$$' \ + >> debian/libssreflect-coq.install -.PHONY: override_dh_gencontrol override_dh_gencontrol: dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)" View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754 You're receiving this email because of your account on salsa.debian.org.
