From e7b1385d271580cb86114462d86d63027650f211 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 19 Jan 2025 21:33:25 -0500
Subject: [PATCH] sage.sh: don't require isl

It's optional, even in sage-the-distro.
---
 sage.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sage.sh b/sage.sh
index a8aaf7e..f980e3b 100644
--- a/sage.sh
+++ b/sage.sh
@@ -88,7 +88,6 @@ sage-configure() {
     --with-system-ipykernel=force \
     --with-system-ipython=force \
     --with-system-ipywidgets=force \
-    --with-system-isl=force \
     --with-system-jedi=force \
     --with-system-jinja2=force \
     --with-system-kiwisolver=force \
-- 
2.49.0