Disable hpcombi explicitly for 32-bit

james-d-mitchell · Jan 23, 2024 · 838fdb3 · 838fdb3
1 parent 99a160f
commit 838fdb3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/ci/run-tests-in-docker-container.sh b/ci/run-tests-in-docker-container.sh
@@ -6,6 +6,6 @@ sudo chown -R libsemigroups: /home/libsemigroups
 cd /home/libsemigroups
 mkdir -p m4
 ./autogen.sh
-./configure
+./configure --disable-hpcombi # HPCombi doesn't work in 32-bit mode
 make "$GH_ACTIONS_TEST_PROG" -j4
 ./"$GH_ACTIONS_TEST_PROG" "$GH_ACTIONS_TEST_TAGS" --abort
diff --git a/m4/ax_check_hpcombi.m4 b/m4/ax_check_hpcombi.m4
@@ -28,6 +28,8 @@ AS_IF([test "x$enable_hpcombi" = xyes],
                              [ax_hpcombi_cxxflags_variable]),
                              [])])
 
+# TODO check if compiling in 32-bit, and in that case disable hpcombi
+
 AS_IF([test "x$enable_hpcombi" = xyes],
       AC_SUBST(ax_hpcombi_cxxflags_variable))
 ])