etc: enable hpcombi in make-libsemigroups.sh

james-d-mitchell · james-d-mitchell · commit f9919fba219e · 2025-12-16T08:48:49.000+01:00
diff --git a/etc/make-libsemigroups.sh b/etc/make-libsemigroups.sh
@@ -9,4 +9,4 @@ curl -L -O https://github.com/libsemigroups/libsemigroups/releases/download/v$VE
 tar -xf libsemigroups-$VERSION.tar.gz
 rm -f libsemigroups-$VERSION.tar.gz
 cd libsemigroups-$VERSION
-./configure --disable-hpcombi && make -j4
+./configure && make -j4
