X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=sage.sh;h=d98a780832265c702ea718548ecf4a29ba575198;hb=130c8b4d5072fcbdb709880ccb7d1860c0ac25b0;hp=4a517d982d99ad6b5a63e104b48384fd89870331;hpb=027783444aa85ff7e70ca357e8951647349ebcb5;p=bash.d.git diff --git a/sage.sh b/sage.sh index 4a517d9..d98a780 100644 --- a/sage.sh +++ b/sage.sh @@ -14,15 +14,21 @@ 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-editable \ --disable-cvxopt \ + --disable-doc \ --disable-notebook \ + --disable-r \ --with-system-arb=force \ --with-system-boost_cropped=force \ --with-system-brial=force \ @@ -57,6 +63,7 @@ sage-configure() { --with-system-libhomfly=force \ --with-system-libnauty=force \ --with-system-libpng=force \ + --with-system-linbox=force \ --with-system-lrcalc=force \ --with-system-m4ri=force \ --with-system-m4rie=force \ @@ -71,6 +78,8 @@ sage-configure() { --with-system-perl_term_readline_gnu=force \ --with-system-planarity=force \ --with-system-ppl=force \ + --with-system-primecount=force \ + --with-system-primesieve=force \ --with-system-python3=force \ --with-system-qhull=force \ --with-system-readline=force \