aboutsummaryrefslogtreecommitdiffhomepage
path: root/jenkins
diff options
context:
space:
mode:
authorGravatar Bo Yang <teboring@google.com>2016-10-04 17:22:26 +0000
committerGravatar Bo Yang <teboring@google.com>2016-10-10 11:44:54 -0700
commit447dee19a85c3852ac1f637cb745c620c63198aa (patch)
tree3d9386b02c4daddfc9bdd8d083bd29b1900ff478 /jenkins
parent70477613b975e45a2d3bec2d18bae11b8c3a1751 (diff)
Prepare jenkins for testing php zts build.
Diffstat (limited to 'jenkins')
-rw-r--r--jenkins/docker/Dockerfile6
1 files changed, 6 insertions, 0 deletions
diff --git a/jenkins/docker/Dockerfile b/jenkins/docker/Dockerfile
index b95d3fb2..df3dc8c2 100644
--- a/jenkins/docker/Dockerfile
+++ b/jenkins/docker/Dockerfile
@@ -89,6 +89,7 @@ RUN apt-get clean && apt-get update && apt-get install -y --force-yes \
php7.0-xml \
phpunit \
valgrind \
+ libxml2-dev \
&& apt-get clean
##################
@@ -162,6 +163,11 @@ RUN cd /tmp && \
ln -sfn /usr/bin/phpize7.0 /usr/bin/phpize && \
composer install && \
mv vendor /usr/local/vendor-7.0
+RUN wget http://am1.php.net/get/php-5.5.38.tar.bz2/from/this/mirror
+RUN mv mirror php-5.5.38.tar.bz2
+RUN tar -xvf php-5.5.38.tar.bz2
+RUN cd php-5.5.38 && ./configure --enable-maintainer-zts --prefix=/usr/local/php-5.5-zts && \
+ make && make install
##################
# Go dependencies.