wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-07-29 17:02:56 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

mathcomp: update to 1.14.0.

Browse source
This commit is contained in:
Leah Neukirchen 2022-01-20 18:19:26 +01:00
parent 27451eff7a
commit f511a29b15
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
srcpkgs/mathcomp/template
View file

@ -1,7 +1,7 @@
# Template file for 'mathcomp' # Template file for 'mathcomp'
pkgname=mathcomp pkgname=mathcomp
version=1.13.0 version=1.14.0
revision=2 revision=1
wrksrc="math-comp-mathcomp-${version}" wrksrc="math-comp-mathcomp-${version}"
build_wrksrc="mathcomp" build_wrksrc="mathcomp"
build_style=gnu-makefile build_style=gnu-makefile
@ -11,7 +11,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
license="CECILL-B" license="CECILL-B"
homepage="https://github.com/math-comp/math-comp" homepage="https://github.com/math-comp/math-comp"
distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.tar.gz" distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.tar.gz"
checksum=4334e915736f96032e1d4d502e70537047220af1a1c7a6740f770e45601bdab0 checksum=d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31
do_install() { do_install() {
make install DESTDIR="${DESTDIR}" 'COQLIB:=$(shell coqtop -where)/' make install DESTDIR="${DESTDIR}" 'COQLIB:=$(shell coqtop -where)/'