From: Michael Orlitzky <michael@orlitzky.com>
Date: Thu, 23 Sep 2021 23:12:08 +0000 (-0400)
Subject: sage.sh: add --with-system-curl=force to sage-configure().
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=bash.d.git;a=commitdiff_plain;h=7ee08e17fe77ab2e0f8adba2b620b80a941baae0

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

diff --git a/sage.sh b/sage.sh
index d3c8811..64f72bd 100644
--- 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 \