summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorMort Yao2019-10-12 14:15:24 +0200
committerMort Yao2019-10-12 14:15:24 +0200
commitec3a795fb5328693fcf776a9f0429ab963d41cd7 (patch)
treed4af3d6bbb4730bfb416cf568d3f9de21a36ff5f /PKGBUILD
parentd4149db1ce90732332f42af969a6c15daea6fe0c (diff)
downloadaur-mathcomp-git.tar.gz
mathcomp-git 20191007-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index b19fb1ec11bf..7c4d01ff8ad0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Mort Yao <soi@mort.ninja>
pkgname=mathcomp-git
-pkgver=20170913
+pkgver=20191007
pkgrel=1
pkgdesc="The Mathematical Components Library for the Coq system."
url="https://math-comp.github.io/math-comp/"
@@ -28,5 +28,5 @@ build() {
package() {
cd "$srcdir/$pkgname/mathcomp"
- make DSTROOT="$pkgdir/usr/lib/coq/" install
+ make DSTROOT="$pkgdir" install
}