added ext-gmp to workspace container (#1762)

This commit is contained in:
vladyslavstartsev
2018-08-21 14:01:12 +03:00
committed by Shao Yu-Lung (Allen)
parent b788a8bbfd
commit aa84dd8616
3 changed files with 16 additions and 0 deletions

View File

@ -180,6 +180,20 @@ RUN if [ ${INSTALL_DRUSH} = true ]; then \
USER root
ARG INSTALL_GMP=false
ARG PHP_VERSION=${PHP_VERSION}
RUN if [ ${INSTALL_GMP} = true ]; then \
# Install the PHP SOAP extension
apt-get -y install php${PHP_VERSION}-gmp \
;fi
###########################################################################
# SOAP:
###########################################################################
USER root
ARG INSTALL_SOAP=false
RUN if [ ${INSTALL_SOAP} = true ]; then \