sage.sh: add --with-system-curl=force to sage-configure().

[bash.d.git] / sage.sh

diff --git a/sage.sh b/sage.sh
index d3c8811ac034a0c0043aff04039ba4b12991af9f..64f72bd64b0367ea759be1c6ec85aea6b1548dbc 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -32,6 +32,7 @@ sage-configure() {
     --with-system-cddlib=force \
     --with-system-cliquer=force \
     --with-system-cmake=force \
+    --with-system-curl=force \
     --with-system-ecl=force \
     --with-system-eclib=force \
     --with-system-fflas_ffpack=force \