From ec84d426d07f91379efcac5d1171f421ad1f789b Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sun, 4 Oct 2020 14:26:07 -0700
Subject: [PATCH] Install python3.7-dev for Mathics install

---
 scripts/docker-install-phase3c.bash | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/docker-install-phase3c.bash b/scripts/docker-install-phase3c.bash
index ade3586..414b316 100755
--- 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