From 4a4b6e52d96c2f58bbdbe9114b66fafcfe8bb6d0 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 1 Jun 2023 22:23:53 -0400 Subject: [PATCH] sage.sh: insist on using maxima from the system. --- sage.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/sage.sh b/sage.sh index a9ff1ff..dbfce92 100644 --- a/sage.sh +++ b/sage.sh @@ -67,6 +67,7 @@ sage-configure() { --with-system-lrcalc=force \ --with-system-m4ri=force \ --with-system-m4rie=force \ + --with-system-maxima=force \ --with-system-meson=force \ --with-system-mpfr=force \ --with-system-nauty=force \ -- 2.43.2