Merge pull request #483 from edmundluong/master

Add option to install Google V8 Javascript Engine PHP extension
This commit is contained in:
Philippe Trépanier 2016-12-13 20:22:20 -05:00 committed by GitHub
commit f82d3b30b4
2 changed files with 18 additions and 0 deletions

View File

@ -22,6 +22,7 @@ services:
- INSTALL_YARN=false - INSTALL_YARN=false
- INSTALL_DRUSH=false - INSTALL_DRUSH=false
- INSTALL_AEROSPIKE_EXTENSION=false - INSTALL_AEROSPIKE_EXTENSION=false
- INSTALL_V8JS_EXTENSION=false
- COMPOSER_GLOBAL_INSTALL=false - COMPOSER_GLOBAL_INSTALL=false
- INSTALL_WORKSPACE_SSH=false - INSTALL_WORKSPACE_SSH=false
- PUID=1000 - PUID=1000

View File

@ -235,6 +235,23 @@ RUN if [ ${INSTALL_AEROSPIKE_EXTENSION} = false ]; then \
rm /etc/php/7.0/cli/conf.d/aerospike.ini \ rm /etc/php/7.0/cli/conf.d/aerospike.ini \
;fi ;fi
#####################################
# PHP V8JS:
#####################################
USER root
ARG INSTALL_V8JS_EXTENSION=false
ENV INSTALL_V8JS_EXTENSION ${INSTALL_V8JS_EXTENSION}
RUN if [ ${INSTALL_V8JS_EXTENSION} = true ]; then \
# Install the php V8JS extension
add-apt-repository -y ppa:pinepain/libv8-5.4 \
&& apt-get update \
&& apt-get install -y php-dev php-pear libv8-5.4 \
&& pecl install v8js \
&& echo "extension=v8js.so" >> /etc/php/7.0/cli/php.ini \
;fi
##################################### #####################################
# Non-root user : PHPUnit path # Non-root user : PHPUnit path
##################################### #####################################