Install python3.7-dev for Mathics install

2020-10-04 14:26:07 -07:00 · 2020-10-04 14:26:07 -07:00 · ec84d426d0
parent 06b12efbac
commit ec84d426d0
1 changed files with 4 additions and 0 deletions
--- a/scripts/docker-install-phase3c.bash
+++ b/scripts/docker-install-phase3c.bash
@ -17,6 +17,10 @@ m4
 # MariaDB
 libtinfo5

+# Mathics
+python3.7
+python3.7-dev
+
 # MiniZinc
 minizinc