diff --git a/srcpkgs/mathcomp/template b/srcpkgs/mathcomp/template index 18dbca6bfbd..5672360c66f 100644 --- a/srcpkgs/mathcomp/template +++ b/srcpkgs/mathcomp/template @@ -1,7 +1,7 @@ # Template file for 'mathcomp' pkgname=mathcomp version=1.17.0 -revision=1 +revision=2 build_wrksrc="mathcomp" build_style=gnu-makefile hostmakedepends="coq ocaml-findlib" @@ -13,6 +13,10 @@ distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}. checksum=1779bcdac5d23d90997627364a5943ef4883c6eb54d67ddbb1dfbe6b7795a188 nocross="ocaml" +post_patch() { + vsed -i -e 's/which/command -v/g' Makefile.common +} + do_install() { make install DESTDIR="${DESTDIR}" 'COQLIB:=$(shell coqtop -where)/' vlicense ../CeCILL-B