From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 11 Dec 2023 03:19:10 +0000 (-0500)
Subject: sage.sh: don't force the system arb
X-Git-Url: https://gitweb.michael.orlitzky.com/?p=bash.d.git;a=commitdiff_plain;h=b373823c413c588cf57ca342e149a970e35b7a51

sage.sh: don't force the system arb

It looks like arb is no longer an SPKG.
---

diff --git a/sage.sh b/sage.sh
index 3b063ad..6772336 100644
--- a/sage.sh
+++ b/sage.sh
@@ -45,7 +45,6 @@ sage-configure() {
     --disable-doc \
     --disable-notebook \
     --disable-r \
-    --with-system-arb=force \
     --with-system-asttokens=force \
     --with-system-attrs=force \
     --with-system-beniget=force \