remi
/
php-geos
forked from geos/php-geos
1
0
Fork 0
Code Releases Activity

Install php-7.0.7 too in the docker image

drone
Sandro Santilli 2016-07-25 13:30:13 +02:00
parent 47174a1e04
commit af1b2202ab
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
docker/build-test/Dockerfile.trisquel
View File

@ -3,3 +3,10 @@ RUN apt-get update -qq && apt-get install -y build-essential
RUN apt-get update -qq && apt-get install -y autoconf
RUN apt-get update -qq && apt-get install -y php5-dev
RUN apt-get update -qq && apt-get install -y libgeos-dev
RUN curl -o php-7.0.7.tar.bz2 http://ar2.php.net/distributions/php-7.0.7.tar.bz2
RUN tar xjf php-7.0.7.tar.bz2
RUN apt-get update -qq && apt-get install -y libxml2-dev
RUN cd php-7.0.7 && \
./configure --prefix=/opt/php-7.0.7 --enable-debug && \
make install
RUN cd .. && rm -rf php-7.0.7*