sage.sh: use system jedi,jinja2,traitlets

diff --git a/sage.sh b/sage.sh
index f30cb25272c9d868e0d1922637c67e0cae14f3e0..7935c6b8db76531dcad6ebccefc7bb33f29ec559 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -65,6 +65,8 @@ sage-configure() {
     --with-system-iml=force \
     --with-system-importlib_metadata=force \
     --with-system-isl=force \
+    --with-system-jedi=force \
+    --with-system-jinja2=force \
     --with-system-lcalc=force \
     --with-system-libatomic_ops=force \
     --with-system-libbraiding=force \
@@ -119,6 +121,7 @@ sage-configure() {
     --with-system-tomli=force \
     --with-system-tornado=force \
     --with-system-tox=force \
+    --with-system-traitlets=force \
     --with-system-typing_extensions=force \
     --with-system-urllib3=force \
     --with-system-wcwidth=force \