php7.build 1.0 KB

123456789101112131415161718192021222324252627282930313233
  1. cd $tmpdir
  2. # Downloading php7 source
  3. if [ ! -f "$php7" ]; then
  4. echo "Downloading php7 sources..."
  5. wget $php7mirror/$php7
  6. tar -xf $php7
  7. fi
  8. # Confingure
  9. cd $php7srcdir
  10. ./configure --prefix=$freondir \
  11. --sysconfdir=/freon/etc \
  12. --localstatedir=/freon/var \
  13. --datadir=/freon/share/php \
  14. --mandir=/freon/share/man \
  15. --with-config-file-path=/etc &&
  16. # Compile
  17. make -j20
  18. make install
  19. install -v -m644 php.ini-production /etc/php.ini &&
  20. install -v -m755 -d /freon/share/doc/php-7.2.9 &&
  21. install -v -m644 CODING_STANDARDS EXTENSIONS INSTALL NEWS README* UPGRADING* php.gif \
  22. /freon/share/doc/php-7.2.9 &&
  23. ln -v -sfn /freon/lib/php/doc/Archive_Tar/docs/Archive_Tar.txt \
  24. /freon/share/doc/php-7.2.9 &&
  25. ln -v -sfn /freon/lib/php/doc/Structures_Graph/docs \
  26. /freon/share/doc/php-7.2.9
  27. cd ..