Date: Friday, July 29, 2022 @ 14:07:39 Author: arojas Revision: 1259094
archrelease: copy trunk to community-x86_64 Added: brial/repos/community-x86_64/PKGBUILD (from rev 1259093, brial/trunk/PKGBUILD) Deleted: brial/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 64 ++++++++++++++++++++++++++++++------------------------------- 1 file changed, 32 insertions(+), 32 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2022-07-29 14:07:30 UTC (rev 1259093) +++ PKGBUILD 2022-07-29 14:07:39 UTC (rev 1259094) @@ -1,32 +0,0 @@ -# Maintainer: Antonio Rojas <aro...@archlinux.org> - -pkgname=brial -pkgver=1.2.10 -pkgrel=2 -pkgdesc="Library for polynomials over boolean rings" -arch=(x86_64) -url="https://github.com/BRiAl/BRiAl" -license=(GPL) -depends=(m4ri) -makedepends=(boost) -source=("https://github.com/BRiAl/BRiAl/releases/download/$pkgver/brial-$pkgver.tar.bz2") -sha256sums=('dd10ab9e0d74e046ec4d84eecbde9de026a2305246ee088883cbae5744b4f18d') - -build() { - cd $pkgname-$pkgver - - ./configure --prefix=/usr --enable-shared - sed -i -e 's/ -shared / -Wl,-O1,--as-needed\0/g' libtool # https://bugzilla.gnome.org/show_bug.cgi?id=655517 - make -} - -check() { - cd $pkgname-$pkgver - make check -} - -package() { - cd $pkgname-$pkgver - - make DESTDIR="$pkgdir" install -} Copied: brial/repos/community-x86_64/PKGBUILD (from rev 1259093, brial/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2022-07-29 14:07:39 UTC (rev 1259094) @@ -0,0 +1,32 @@ +# Maintainer: Antonio Rojas <aro...@archlinux.org> + +pkgname=brial +pkgver=1.2.11 +pkgrel=1 +pkgdesc="Library for polynomials over boolean rings" +arch=(x86_64) +url="https://github.com/BRiAl/BRiAl" +license=(GPL) +depends=(m4ri) +makedepends=(boost) +source=("https://github.com/BRiAl/BRiAl/releases/download/$pkgver/brial-$pkgver.tar.bz2") +sha256sums=('6c0f622009dcd9928295d748226baa9cdc1a87c32552e13772fddf95bbb6f02c') + +build() { + cd $pkgname-$pkgver + + ./configure --prefix=/usr --enable-shared + sed -i -e 's/ -shared / -Wl,-O1,--as-needed\0/g' libtool # https://bugzilla.gnome.org/show_bug.cgi?id=655517 + make +} + +check() { + cd $pkgname-$pkgver + make check +} + +package() { + cd $pkgname-$pkgver + + make DESTDIR="$pkgdir" install +}