sage.sh: add --disable-notebook to sage-configure.

[bash.d.git] / sage.sh

diff --git a/sage.sh b/sage.sh
index 33d7f5aba101309d8260c81627403955cd891336..4b87db06e87fa134a1c4aebe9ddb7e94b49da117 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -25,6 +25,7 @@ sage-configure() {
     --enable-download-from-upstream-url \
     --disable-r \
     --disable-cvxopt \
+    --disable-notebook \
     --with-system-arb=force \
     --with-system-boost_cropped=force \
     --with-system-brial=force \
@@ -32,6 +33,7 @@ sage-configure() {
     --with-system-cddlib=force \
     --with-system-cliquer=force \
     --with-system-cmake=force \
+    --with-system-curl=force \
     --with-system-ecl=force \
     --with-system-eclib=force \
     --with-system-fflas_ffpack=force \
@@ -71,6 +73,7 @@ sage-configure() {
     --with-system-planarity=force \
     --with-system-ppl=force \
     --with-system-python3=force \
+    --with-system-qhull=force \
     --with-system-readline=force \
     --with-system-rw=force \
     --with-system-sqlite=force \
@@ -82,5 +85,6 @@ sage-configure() {
     --with-system-yasm=force \
     --with-system-xz=force \
     --with-system-zeromq=force \
-    --with-system-zlib=force
+    --with-system-zlib=force \
+    "${@}"
 }