X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=sage.sh;h=82878f099eaa3a7abb2313e97b56fb6c76258e35;hb=c5dc016cd171999d2cea374efcf476bac57d55a9;hp=93c630470fe7495d81a536861625e2fbf2c3ad68;hpb=ce24d530121dbbef565605adaa1a2c0c1136c5f8;p=bash.d.git

diff --git a/sage.sh b/sage.sh
index 93c6304..82878f0 100644
--- a/sage.sh
+++ b/sage.sh
@@ -31,6 +31,7 @@ sage-configure() {
     --disable-notebook \
     --disable-r \
     --with-system-arb=force \
+    --with-system-beniget=force \
     --with-system-boost_cropped=force \
     --with-system-brial=force \
     --with-system-bzip2=force \
@@ -42,7 +43,9 @@ sage-configure() {
     --with-system-eclib=force \
     --with-system-fflas_ffpack=force \
     --with-system-flint=force \
+    --with-system-flit_core=force \
     --with-system-fplll=force \
+    --with-system-gast=force \
     --with-system-gc=force \
     --with-system-gcc=force \
     --with-system-gengetopt=force \