From 4e7d29b86f543de8a8db186c3d42d6e35088676e Mon Sep 17 00:00:00 2001 From: Doug Torrance Date: Tue, 10 Jun 2025 09:50:57 -0400 Subject: [PATCH] Add --enable-download option to check-configure During configure, we raise an error if the input for --enable-download is "yes" but neither wget nor curl are available on the system. Now that the default for --enable-download is "yes", we should make sure that we don't raise this error during check-configure if the user initially ran configure with "no", e.g., in Debian/Ubuntu package builds. --- M2/check-configure/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/M2/check-configure/Makefile.in b/M2/check-configure/Makefile.in index 80afc995ad1..68c429f6071 100644 --- a/M2/check-configure/Makefile.in +++ b/M2/check-configure/Makefile.in @@ -29,6 +29,7 @@ check-config: --with-system-memtailor=$(SYSTEM_MEMTAILOR) \ --with-system-mathic=$(SYSTEM_MATHIC) \ --with-system-mathicgb=$(SYSTEM_MATHICGB) \ + --enable-download=@DOWNLOAD@ \ --disable-building distclean:: clean; rm -f Makefile Makefile: Makefile.in ; cd .. && ./config.status check-configure/Makefile