From ecdba296d32ef18ac1859c74df042192c4bd06c0 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Tue, 23 Jan 2024 08:47:51 -0500 Subject: [PATCH] sage.sh: use gap from the system --- sage.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/sage.sh b/sage.sh index b5df79f..a5a4615 100644 --- a/sage.sh +++ b/sage.sh @@ -65,6 +65,7 @@ sage-configure() { --with-system-fonttools=force \ --with-system-fplll=force \ --with-system-fpylll=force \ + --with-system-gap=force \ --with-system-gast=force \ --with-system-gc=force \ --with-system-gcc=force \ -- 2.43.2