diff --git a/Dockerfile b/Dockerfile index 8384dddf..28de131b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,6 +7,9 @@ FROM arxiv/base:0.12.1rc2 WORKDIR /opt/arxiv +# Install MySQL. +RUN yum install -y which mysql mysql-devel + # Add Python application and configuration. ADD app.py /opt/arxiv/ ADD Pipfile /opt/arxiv/