From bba72b8eb39f863a06917c60e5961ea67ace91a7 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 28 Mar 2022 08:47:27 -0400
Subject: [PATCH] sage.sh: force system linbox.

---
 sage.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sage.sh b/sage.sh
index c167d51..8efd95d 100644
--- a/sage.sh
+++ b/sage.sh
@@ -57,6 +57,7 @@ sage-configure() {
     --with-system-libhomfly=force \
     --with-system-libnauty=force \
     --with-system-libpng=force \
+    --with-system-linbox=force \
     --with-system-lrcalc=force \
     --with-system-m4ri=force \
     --with-system-m4rie=force \
-- 
2.43.2