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
