sage.sh: don't require isl

It's optional, even in sage-the-distro.

diff --git a/sage.sh b/sage.sh
index a8aaf7e05acb7ad4d2f036b075967b2de2b1422f..f980e3be507a7f99a127d89e653b66a806cfe27e 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -88,7 +88,6 @@ sage-configure() {
     --with-system-ipykernel=force \
     --with-system-ipython=force \
     --with-system-ipywidgets=force \
-    --with-system-isl=force \
     --with-system-jedi=force \
     --with-system-jinja2=force \
     --with-system-kiwisolver=force \