sage.sh: force system linbox.

[bash.d.git] / sage.sh

diff --git a/sage.sh b/sage.sh
index 4a517d982d99ad6b5a63e104b48384fd89870331..8efd95dbb2a4eb76381abaf75e38239d46b9077b 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -57,6 +57,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 +72,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 \