extra/flint to 3.0.1-1

This commit is contained in:
Kevin Mihelich 2023-11-11 13:26:43 +00:00
parent caee30d5fd
commit 0ddc0c9801
2 changed files with 7 additions and 8 deletions

View file

@ -1,7 +1,7 @@
pkgbase = flint pkgbase = flint
pkgdesc = A C library for doing number theory pkgdesc = A C library for doing number theory
pkgver = 3.0.0 pkgver = 3.0.1
pkgrel = 3 pkgrel = 1
url = http://www.flintlib.org url = http://www.flintlib.org
arch = x86_64 arch = x86_64
license = GPL license = GPL
@ -13,7 +13,7 @@ pkgbase = flint
depends = mpfr depends = mpfr
replaces = antic replaces = antic
replaces = arb replaces = arb
source = http://www.flintlib.org/flint-3.0.0.tar.gz source = http://www.flintlib.org/flint-3.0.1.tar.gz
sha256sums = b9086e31e3dab89896d7edbf05a5b758d5b4b72183a1a3478f23eabdcaaae044 sha256sums = 7b311a00503a863881eb8177dbeb84322f29399f3d7d72f3b1a4c9ba1d5794b4
pkgname = flint pkgname = flint

View file

@ -6,8 +6,8 @@
# - disable LTO via -DIPO_SUPPORTED=FALSE # - disable LTO via -DIPO_SUPPORTED=FALSE
pkgname=flint pkgname=flint
pkgver=3.0.0 pkgver=3.0.1
pkgrel=3 pkgrel=1
pkgdesc='A C library for doing number theory' pkgdesc='A C library for doing number theory'
arch=(x86_64) arch=(x86_64)
url='http://www.flintlib.org' url='http://www.flintlib.org'
@ -21,12 +21,11 @@ makedepends=(cmake
replaces=(antic replaces=(antic
arb) arb)
source=(http://www.flintlib.org/flint-$pkgver.tar.gz) source=(http://www.flintlib.org/flint-$pkgver.tar.gz)
sha256sums=('b9086e31e3dab89896d7edbf05a5b758d5b4b72183a1a3478f23eabdcaaae044') sha256sums=('7b311a00503a863881eb8177dbeb84322f29399f3d7d72f3b1a4c9ba1d5794b4')
build() { build() {
cmake -B build -S $pkgname-$pkgver \ cmake -B build -S $pkgname-$pkgver \
-DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_INSTALL_PREFIX=/usr \
-DFLINT_MAJOR=3 -DFLINT_MINOR=0 -DFLINT_PATCH=0 \
-DIPO_SUPPORTED=FALSE -DIPO_SUPPORTED=FALSE
cmake --build build cmake --build build
} }