blob: cb616c68a015dce61cfe8b61282352872dbc2316 (
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
|
# Maintainer: Aditya Naik <nikeadilfc at gmail dot com>
# Contributor: William J. Bowman <aur@williamjbowman.com>
pkgname=mathcomp
pkgver=1.12.0
pkgrel=1
pkgdesc="The entire mathematical components library for Coq."
url="https://math-comp.github.io/math-comp/"
arch=('i686' 'x86_64')
license=('GPL')
depends=('coq>=8.10')
source=(mathcomp-$pkgver.tar.gz::https://github.com/math-comp/math-comp/tarball/mathcomp-$pkgver)
sha256sums=('2bb92d06235d6f91c8a7655602949aa6a0e70522b5759f87636e4bd26dc8c69d')
sha512sums=('d8ab930587e0716b85d86fedd2e16fd29a74a5b6a7a0d4c70f27a3a94bf8fad016e0d6d962147db6a1c39cf5083219eab67759bba55047a07c250988a9d052a6')
conflicts=('ssreflect')
build() {
cd $srcdir/math-comp-math-comp-*/$pkgname
make
}
package(){
cd $srcdir/math-comp-math-comp-*/$pkgname
make DSTROOT="${pkgdir}" install
}
|