From 961bc7a67d1603e532314ff267b04b52d5429138 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 2 Sep 2023 11:05:23 -0400 Subject: [PATCH] sage.sh: use system jedi,jinja2,traitlets --- sage.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sage.sh b/sage.sh index f30cb25..7935c6b 100644 --- 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 \ -- 2.43.2