diff options
Diffstat (limited to 'tests/Dockerfile')
-rw-r--r-- | tests/Dockerfile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/Dockerfile b/tests/Dockerfile index 6b0af7d2a..12372e24f 100644 --- a/tests/Dockerfile +++ b/tests/Dockerfile @@ -61,6 +61,18 @@ RUN mkdir -p "$DOTNET_HOME" \ ENV PATH $DOTNET_HOME:$PATH RUN dotnet help +# Install PHP +ENV PHP_VERSION 7.3.8 +ENV PHPENV_ROOT /home/nonroot/.phpenv +ENV PATH $PHPENV_ROOT/bin:$PHPENV_ROOT/shims:$PATH +ENV CONFIGURE_OPTS "--without-tidy --disable-zip" +RUN curl -L https://raw.githubusercontent.com/phpenv/phpenv-installer/master/bin/phpenv-installer | bash \ + && phpenv install $PHP_VERSION \ + && phpenv global $PHP_VERSION \ + && chmod -R a+x $PHPENV_ROOT +# Check that PHP was correctly installed +RUN php --version + # Install Mercurial RUN HGPYTHON3=1 pip install mercurial # Check that Mercurial was correctly installed |