php7_deps.include 656 B

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