1#!/bin/bash 2 3PHP_VERSION=8.0.3 4 5sudo apt-get update 6sudo apt-get install git gcc make pkg-config autoconf bison libxml2-dev libssl-dev curl -y 7 8# Install PHP: 9sudo mkdir /usr/local/php 10cd /usr/local/php 11 12sudo mkdir cli 13sudo mkdir php-src 14sudo curl -LSs https://github.com/php/php-src/archive/php-$PHP_VERSION.tar.gz | sudo tar -xz -C "php-src" --strip-components 1 15 16pushd php-src 17 18sudo ./buildconf --force 19sudo ./configure \ 20 --prefix=/usr/local/php/cli \ 21 --with-config-file-path=/usr/local/php/cli \ 22 --enable-maintainer-zts \ 23 --enable-debug \ 24 --enable-pcntl \ 25 --enable-opcache \ 26 --enable-sockets 27 28sudo make -j4 29sudo make install 30popd 31 32sudo touch /usr/local/php/cli/php.ini 33sudo chmod 466 /usr/local/php/cli/php.ini 34 35sudo ln -s /usr/local/php/cli/bin/php /usr/local/bin/php 36sudo ln -s /usr/local/php/cli/bin/phpize /usr/local/bin/phpize 37sudo ln -s /usr/local/php/cli/bin/php-config /usr/local/bin/php-config 38 39cd /vagrant 40 41sudo phpize --clean 42sudo phpize 43sudo ./configure 44sudo make install 45 46sudo echo "extension=\"fiber.so\"" >> /usr/local/php/cli/php.ini 47 48php -v 49php -m 50