Enable build of Python 3.9 version

Signed-off-by: Matthew Ballance <matt.ballance@gmail.com>
fvutils · Jan 9, 2021 · 5328e39 · 5328e39
1 parent 1ead507
commit 5328e39
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/pypi/Dockerfile b/pypi/Dockerfile
@@ -4,6 +4,7 @@ RUN /opt/python/cp35-cp35m/bin/pip install cython wheel twine
 RUN /opt/python/cp36-cp36m/bin/pip install cython wheel twine
 RUN /opt/python/cp37-cp37m/bin/pip install cython wheel twine
 RUN /opt/python/cp38-cp38/bin/pip install cython wheel twine
+RUN /opt/python/cp39-cp39/bin/pip install cython wheel twine
 
 CMD /boolector/pypi/build.sh
 

diff --git a/pypi/build.sh b/pypi/build.sh
@@ -152,7 +152,7 @@ cd pyboolector
 export BUILD_NUM
 #sed -i -e "s/{{BUILD_NUM}}/${BUILD_NUM}/g" setup.py
 
-for py in cp35-cp35m cp36-cp36m cp37-cp37m cp38-cp38; do
+for py in cp35-cp35m cp36-cp36m cp37-cp37m cp38-cp38 cp39-cp39; do
   echo "Python: ${py}"
   python=/opt/python/${py}/bin/python
   cd ${BUILD_DIR}/pyboolector