From 7ee08e17fe77ab2e0f8adba2b620b80a941baae0 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 23 Sep 2021 19:12:08 -0400 Subject: [PATCH] sage.sh: add --with-system-curl=force to sage-configure(). --- sage.sh | 1 + 1 file changed, 1 insertion(+) 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 \ -- 2.43.2