blob: b19fb1ec11bf0f2ce127b3849bc4425e7fb3f8bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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
}
|