1234567891011121314151617181920212223242526 |
- #=================
- # 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
|