From c4efca4a999a9033681a112b17759b80a9ff7ccf Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 10 Sep 2018 18:34:02 +0200 Subject: [PATCH] Disable building NormalizInterface. While that's not nice, it still seems better than disabling digraphs, float and semigroups, which are far more complex packages, and hence more likely to be broken by changes on master. --- etc/ci.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/etc/ci.sh b/etc/ci.sh index d40c640ff5..3db2ed6506 100644 --- a/etc/ci.sh +++ b/etc/ci.sh @@ -50,9 +50,17 @@ do # skip linboxing because it hasn't compiled for years rm -rf linboxing* + # skip PolymakeInterface: no polynmake installed (TODO: is there a polymake package we can use) rm -rf PolymakeInterface* + # skip NormalizInterface: currently fails to build due to lack of C++ + # support in the install GMP (this only seems to appear when using GCC >= 5, + # so may be due to C++ ABI differences). Once we require C++ support in GAP, + # we can presumably re-enable it, if we switch the testpackge builds to use + # GAP's builtin GMP. + rm -rf NormalizInterface* + # HACK to work out timestamp issues with anupq touch anupq*/configure* anupq*/Makefile* anupq*/aclocal.m4