sage.sh: use gap from the system

[bash.d.git] / sage.sh

diff --git a/sage.sh b/sage.sh
index b5df79f20339f1e9c96669ce136011e7d87c2a21..a5a46153ea2d51c5b4170cfdab65c4af2dff42ad 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -65,6 +65,7 @@ sage-configure() {
     --with-system-fonttools=force \
     --with-system-fplll=force \
     --with-system-fpylll=force \
+    --with-system-gap=force \
     --with-system-gast=force \
     --with-system-gc=force \
     --with-system-gcc=force \