]> gitweb.michael.orlitzky.com - bash.d.git/commitdiff
sage.sh: use palp from the system
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 21 Mar 2024 14:27:20 +0000 (10:27 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 21 Mar 2024 14:27:20 +0000 (10:27 -0400)
sage.sh

diff --git a/sage.sh b/sage.sh
index 73d1e84a0993f2ebc2f96ad761253c6871afa323..65d7ec352e91e26b89180d6898344cc76a2a5b52 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -121,6 +121,7 @@ sage-configure() {
     --with-system-numpy=force \
     --with-system-openblas=force \
     --with-system-packaging=force \
+    --with-system-palp=force \
     --with-system-pari=force \
     --with-system-parso=force \
     --with-system-patch=force \