sage.sh: use system ptyprocess

diff --git a/sage.sh b/sage.sh
index c5cb345636ae68869d0fe76d14f5d1e8c150cbb8..57db823f6a8cef5ba6c03ad30b281ad42deca862 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -151,6 +151,7 @@ sage-configure() {
     --with-system-primecountpy=force \
     --with-system-primesieve=force \
     --with-system-prompt_toolkit=force \
+    --with-system-ptyprocess=force \
     --with-system-pure_eval=force \
     --with-system-pybind11=force \
     --with-system-pygments=force \