sage.sh: force system linbox.

[bash.d.git] / sage.sh

diff --git a/sage.sh b/sage.sh
index 131eb84b15b384bf206bc0fc0983175a3fccedc2..8efd95dbb2a4eb76381abaf75e38239d46b9077b 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -17,9 +17,6 @@ export SAGE_DEBUG=no
 #   * --with-system-foo=force: ensure that the system packages I have
 #                              installed are actually used.
 #
-# TODO: --with-system-gengetopt=force
-#       --with-system-lcalc=force
-#
 sage-configure() {
   ./configure \
     --enable-download-from-upstream-url \
@@ -41,6 +38,7 @@ sage-configure() {
     --with-system-fplll=force \
     --with-system-gc=force \
     --with-system-gcc=force \
+    --with-system-gengetopt=force \
     --with-system-gf2x=force \
     --with-system-gfan=force \
     --with-system-gfortran=force \
@@ -51,6 +49,7 @@ sage-configure() {
     --with-system-iconv=force \
     --with-system-iml=force \
     --with-system-isl=force \
+    --with-system-lcalc=force \
     --with-system-libatomic_ops=force \
     --with-system-libbraiding=force \
     --with-system-libffi=force \
@@ -58,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 \
@@ -72,10 +72,13 @@ 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 \
     --with-system-rw=force \
+    --with-system-singular=force \
     --with-system-sqlite=force \
     --with-system-suitesparse=force \
     --with-system-symmetrica=force \