| #================= |
| # PHP7 dependencies |
| |
| # PHP specific dependencies |
| RUN apt-get update && apt-get install -y ${'\\'} |
| libbison-dev ${'\\'} |
| libcurl4-openssl-dev ${'\\'} |
| libgmp-dev ${'\\'} |
| libgmp3-dev ${'\\'} |
| libssl-dev ${'\\'} |
| libxml2-dev ${'\\'} |
| re2c ${'\\'} |
| zlib1g-dev ${'\\'} |
| && apt-get clean |
| |
| # Compile PHP7 from source |
| RUN git clone https://github.com/php/php-src /var/local/git/php-src |
| RUN cd /var/local/git/php-src ${'\\'} |
| && git checkout PHP-7.2.34 ${'\\'} |
| && ./buildconf --force ${'\\'} |
| && ./configure ${'\\'} |
| --with-gmp ${'\\'} |
| --with-openssl ${'\\'} |
| --with-zlib ${'\\'} |
| && make -j$(nproc) ${'\\'} |
| && make install |
