Merge pull request #2066 from stanley-cheung/add_php_to_jenkins

Add PHP to jenkins
pull/2079/head
Jan Tattermusch 10 years ago
commit f64c68cae5
  1. 14
      tools/jenkins/grpc_jenkins_slave/Dockerfile

@ -115,5 +115,19 @@ RUN apt-get update && apt-get install -y \
# Install Python packages from PyPI
RUN pip install futures==2.2.0 enum34==1.0.4 protobuf==3.0.0a2
##################
# PHP dependencies
# Install dependencies
RUN /bin/bash -l -c "echo 'deb http://packages.dotdeb.org wheezy-php55 all' \
>> /etc/apt/sources.list.d/dotdeb.list"
RUN /bin/bash -l -c "echo 'deb-src http://packages.dotdeb.org wheezy-php55 all' \
>> /etc/apt/sources.list.d/dotdeb.list"
RUN wget http://www.dotdeb.org/dotdeb.gpg -O- | apt-key add -
RUN apt-get update && apt-get install -y \
git php5 php5-dev phpunit unzip
# Define the default command.
CMD ["bash"]

Loading…
Cancel
Save