diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..b19fb1ec11bf --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,32 @@ +# Maintainer: Mort Yao <soi@mort.ninja> + +pkgname=mathcomp-git +pkgver=20170913 +pkgrel=1 +pkgdesc="The Mathematical Components Library for the Coq system." +url="https://math-comp.github.io/math-comp/" +arch=('i686' 'x86_64') +license=('GPL') +depends=('coq>=8.5') +makedepends=('camlp5>=7.02' 'ocaml-findlib') +provides=('mathcomp') +conflicts=('mathcomp') +source=("${pkgname}::git://github.com/math-comp/math-comp.git") +md5sums=('SKIP') + +pkgver() { + cd "$pkgname" + git log -1 --pretty=format:%cd --date=short | sed 's/-//g' +} + +build() { + cd "$srcdir/$pkgname/mathcomp" + + make -j 3 +} + +package() { + cd "$srcdir/$pkgname/mathcomp" + + make DSTROOT="$pkgdir/usr/lib/coq/" install +} |