sage.sh: use system asttokens,executing,platformdirs

diff --git a/sage.sh b/sage.sh
index 3f45709892f4a3ea9546c88b41ad2b16e69fe112..525fce466717b6723727322e9815306200c0082a 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -31,6 +31,7 @@ sage-configure() {
     --disable-notebook \
     --disable-r \
     --with-system-arb=force \
+    --with-system-asttokens=force \
     --with-system-attrs=force \
     --with-system-backcall=force \
     --with-system-beniget=force \
@@ -51,6 +52,7 @@ sage-configure() {
     --with-system-ecl=force \
     --with-system-eclib=force \
     --with-system-entrypoints=force \
+    --with-system-executing=force \
     --with-system-fflas_ffpack=force \
     --with-system-flint=force \
     --with-system-flit_core=force \
@@ -112,6 +114,7 @@ sage-configure() {
     --with-system-pip=force \
     --with-system-pkgconfig=force \
     --with-system-planarity=force \
+    --with-system-platformdirs=force \
     --with-system-ply=force \
     --with-system-pluggy=force \
     --with-system-ppl=force \