WIP: tweak which packages we build

etc/ci.sh

@@ -50,28 +50,14 @@ do
 
     # skip linboxing because it hasn't compiled for years
     rm -rf linboxing*
-    # skip pargap: no MPI present (though we could fix that), and it currently does not
-    # build with the GAP master branch
-    rm -rf pargap*
     # skip PolymakeInterface: no polynmake installed (TODO: is there a polymake package we can use)
     rm -rf PolymakeInterface*
 
     # HACK to work out timestamp issues with anupq
     touch anupq*/configure* anupq*/Makefile* anupq*/aclocal.m4
 
-    # HACK: skip building semigroups-3.x for now -- it requires GCC >= 5, which Travis doesn't have
-    rm -rf semigroups-3.*
-
     # HACK: skip building float for now -- it doesn't link reliably on travis
-    rm -rf float-*
-
-    if [[ x"$ABI" == "x32" ]]
-    then
-      # HACK: disable NormalizInterface in 32bit mode for now. Version
-      # 0.9.8 doesn't make it easy to support 32bit. With the next
-      # release of the package, this will hopefully change.
-      rm -rf NormalizInterface-0.9.8
-    fi
+#     rm -rf float-*
 
     # reset CFLAGS and LDFLAGS before compiling packages, to prevent
     # them from being compiled with coverage gathering, because