Date: Sunday, December 18, 2022 @ 13:26:44
  Author: arojas
Revision: 1360129

upgpkg: libsemigroups 2.5.0-2: Disable hpcombi

Modified:
  libsemigroups/trunk/PKGBUILD

----------+
 PKGBUILD |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2022-12-18 13:26:38 UTC (rev 1360128)
+++ PKGBUILD    2022-12-18 13:26:44 UTC (rev 1360129)
@@ -2,7 +2,7 @@
 
 pkgname=libsemigroups
 pkgver=2.5.0
-pkgrel=1
+pkgrel=2
 pkgdesc='C++ library for semigroups and monoids'
 url='https://libsemigroups.github.io'
 arch=(x86_64)
@@ -15,6 +15,7 @@
 build() {
   cd $pkgname-$pkgver
   ./configure --prefix=/usr \
+              --disable-hpcombi \
               --enable-fmt \
               --with-external-fmt \
               --with-external-eigen

Reply via email to