PKGBUILDs/extra/flint/PKGBUILD
2023-10-22 15:27:20 +00:00

36 lines
918 B
Bash

# Maintainer: Antonio Rojas <arojas@archlinux.org>
# Contributor: Rémy Oudompheng <oudomphe@clipper.ens.fr>
# Contributor: Alessandro "jakedust" Andrioni <jakedust@gmail.com>
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
# - disable LTO via -DIPO_SUPPORTED=FALSE
pkgname=flint
pkgver=3.0.0
pkgrel=3
pkgdesc='A C library for doing number theory'
arch=(x86_64)
url='http://www.flintlib.org'
license=(GPL)
depends=(cblas
glibc
gmp
mpfr)
makedepends=(cmake
python)
replaces=(antic
arb)
source=(http://www.flintlib.org/flint-$pkgver.tar.gz)
sha256sums=('b9086e31e3dab89896d7edbf05a5b758d5b4b72183a1a3478f23eabdcaaae044')
build() {
cmake -B build -S $pkgname-$pkgver \
-DCMAKE_INSTALL_PREFIX=/usr \
-DFLINT_MAJOR=3 -DFLINT_MINOR=0 -DFLINT_PATCH=0 \
-DIPO_SUPPORTED=FALSE
cmake --build build
}
package() {
DESTDIR="$pkgdir" cmake --install build
}