Date: Monday, January 30, 2023 @ 20:16:36
Author: arojas
Revision: 1391304
archrelease: copy trunk to community-x86_64
Added:
brial/repos/community-x86_64/PKGBUILD
(from rev 1391303, brial/trunk/PKGBUILD)
Deleted:
brial/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 64 ++++++++++++++++++++++++++++++-------------------------------
1 file changed, 32 insertions(+), 32 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2023-01-30 20:16:25 UTC (rev 1391303)
+++ PKGBUILD 2023-01-30 20:16:36 UTC (rev 1391304)
@@ -1,32 +0,0 @@
-# Maintainer: Antonio Rojas <[email protected]>
-
-pkgname=brial
-pkgver=1.2.12
-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=('ca009e3722dd3f0a60d15501caed1413146c80abced57423e32ae0116f407494')
-
-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 1391303,
brial/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2023-01-30 20:16:36 UTC (rev 1391304)
@@ -0,0 +1,32 @@
+# Maintainer: Antonio Rojas <[email protected]>
+
+pkgname=brial
+pkgver=1.2.12
+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=('ca009e3722dd3f0a60d15501caed1413146c80abced57423e32ae0116f407494')
+
+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
+}
