travis: enable building "edim" for HPC-GAP

This doesn't mean edim is actually usable (I haven't even tried it), but at least it is one step closer to working.
gap-system · Sep 7, 2017 · f01d1e4 · f01d1e4
1 parent 5092dc6
commit f01d1e4
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/etc/ci.sh b/etc/ci.sh
@@ -116,11 +116,12 @@ then
 fi
 
 
-# Compile edim to test gac (but not on HPC-GAP and not on Cygwin, where gac is known to be broken)
-if [[ $HPCGAP != yes && $OSTYPE = Cygwin* ]]
+# Compile edim to test gac (but not on Cygwin, where gac is known to be broken)
+if [[ $OSTYPE != Cygwin* ]]
 then
+    source $BUILDDIR/sysinfo.gap
     cd edim
-    ./configure $BUILDDIR
+    ./configure $BUILDDIR CONFIGNAME=$CONFIGNAME
     make
     cd ..
 fi