From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 12 Oct 2021 12:38:12 +0000 (-0400)
Subject: sage.sh: add --disable-notebook to sage-configure.
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=bash.d.git;a=commitdiff_plain;h=59e316944e6ef56174f1b65f8996580770669914

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

diff --git a/sage.sh b/sage.sh
index b0eff94..4b87db0 100644
--- 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 \