]> gitweb.michael.orlitzky.com - bash.d.git/commitdiff
sage.sh: use system editables,fonttools,hatchling
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 20 Sep 2023 21:41:21 +0000 (17:41 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 20 Sep 2023 21:41:21 +0000 (17:41 -0400)
sage.sh

diff --git a/sage.sh b/sage.sh
index 525fce466717b6723727322e9815306200c0082a..1e058b2d3eb175e77c3f86b6c389a77afeb59be3 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -51,11 +51,13 @@ sage-configure() {
     --with-system-docutils=force \
     --with-system-ecl=force \
     --with-system-eclib=force \
+    --with-system-editables=force \
     --with-system-entrypoints=force \
     --with-system-executing=force \
     --with-system-fflas_ffpack=force \
     --with-system-flint=force \
     --with-system-flit_core=force \
+    --with-system-fonttools=force \
     --with-system-fplll=force \
     --with-system-gast=force \
     --with-system-gc=force \
@@ -68,6 +70,7 @@ sage-configure() {
     --with-system-git=force \
     --with-system-givaro=force \
     --with-system-gsl=force \
+    --with-system-hatchling=force \
     --with-system-iconv=force \
     --with-system-idna=force \
     --with-system-iml=force \