core/flint/PKGBUILD
2015-04-13 07:59:57 +00:00

33 lines
743 B
Bash

# $Id$
# Maintainer: Antonio Rojas <arojas@archlinux.org>
# Contributor: Rémy Oudompheng <oudomphe@clipper.ens.fr>
# Contributor: Alessandro "jakedust" Andrioni <jakedust@gmail.com>
pkgname=flint
pkgver=2.4.5
pkgrel=1
pkgdesc="A C library for doing number theory"
arch=(i686 x86_64)
url="http://www.flintlib.org"
license=(GPL)
depends=(mpfr ntl)
source=("http://www.flintlib.org/flint-$pkgver.tar.gz")
md5sums=('6504b9deabeafb9313e57153a1730b33')
prepare() {
cd $pkgname-$pkgver
sed -i.orig 's,.*NTL/g_lip.h,// &,' interfaces/NTL-interface.cpp
}
build() {
cd $pkgname-$pkgver
./configure --prefix=/usr --with-gmp=/usr --with-mpfr=/usr --with-ntl=/usr
make
}
package() {
cd $pkgname-$pkgver
make DESTDIR="$pkgdir" install
}