diff options
author | Mort Yao | 2019-10-12 14:15:24 +0200 |
---|---|---|
committer | Mort Yao | 2019-10-12 14:15:24 +0200 |
commit | ec3a795fb5328693fcf776a9f0429ab963d41cd7 (patch) | |
tree | d4af3d6bbb4730bfb416cf568d3f9de21a36ff5f /PKGBUILD | |
parent | d4149db1ce90732332f42af969a6c15daea6fe0c (diff) | |
download | aur-mathcomp-git.tar.gz |
mathcomp-git 20191007-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 } |