1#================= 2# PHP7 dependencies 3 4# PHP specific dependencies 5RUN apt-get update && apt-get install -y ${'\\'} 6 libbison-dev ${'\\'} 7 libcurl4-openssl-dev ${'\\'} 8 libgmp-dev ${'\\'} 9 libgmp3-dev ${'\\'} 10 libssl-dev ${'\\'} 11 libxml2-dev ${'\\'} 12 re2c ${'\\'} 13 zlib1g-dev ${'\\'} 14 && apt-get clean 15 16# Compile PHP7 from source 17RUN git clone https://github.com/php/php-src /var/local/git/php-src 18RUN cd /var/local/git/php-src ${'\\'} 19 && git checkout PHP-7.2.34 ${'\\'} 20 && ./buildconf --force ${'\\'} 21 && ./configure ${'\\'} 22 --with-gmp ${'\\'} 23 --with-openssl ${'\\'} 24 --with-zlib ${'\\'} 25 && make -j$(nproc) ${'\\'} 26 && make install 27