From 60cb2aa020387bf4d698f87dfd1c0cc62f7cab09 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 28 Mar 2022 08:47:37 -0400 Subject: [PATCH] sage.sh: disable doc building by default. --- sage.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/sage.sh b/sage.sh index 8efd95d..77e7e6a 100644 --- a/sage.sh +++ b/sage.sh @@ -14,15 +14,20 @@ export SAGE_DEBUG=no # * --enable-download-from-upstream-url: needed when adding new SPKGs # * --disable-r: I don't really use R # * --disable-cvxopt: I don't really use cvxopt +# * --disable-notebook: self-explanatory +# * --disable-doc: when I'm building sage just to use it, I don't want +# to double the build time to get the HTML docs. +# Override with "sage-configure --enable-doc". # * --with-system-foo=force: ensure that the system packages I have # installed are actually used. # sage-configure() { ./configure \ --enable-download-from-upstream-url \ - --disable-r \ --disable-cvxopt \ + --disable-doc \ --disable-notebook \ + --disable-r \ --with-system-arb=force \ --with-system-boost_cropped=force \ --with-system-brial=force \ -- 2.43.2