tomcharnock/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

mathcomp: rebuild for coq-8.17.1.

Browse Source
This commit is contained in:
Leah Neukirchen
2023-07-09 22:57:49 +02:00
parent c213e765b7
commit b64213ffa1
1 changed files with 5 additions and 1 deletions
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.17.0 version=1.17.0
revision=1 revision=2
build_wrksrc="mathcomp" build_wrksrc="mathcomp"
build_style=gnu-makefile build_style=gnu-makefile
hostmakedepends="coq ocaml-findlib" hostmakedepends="coq ocaml-findlib"
@@ -13,6 +13,10 @@ distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.
checksum=1779bcdac5d23d90997627364a5943ef4883c6eb54d67ddbb1dfbe6b7795a188 checksum=1779bcdac5d23d90997627364a5943ef4883c6eb54d67ddbb1dfbe6b7795a188
nocross="ocaml" nocross="ocaml"
post_patch() {
vsed -i -e 's/which/command -v/g' Makefile.common
}
do_install() { do_install() {
make install DESTDIR="${DESTDIR}" 'COQLIB:=$(shell coqtop -where)/' make install DESTDIR="${DESTDIR}" 'COQLIB:=$(shell coqtop -where)/'
vlicense ../CeCILL-B vlicense ../CeCILL-B