vagrant-73.sh

#!/bin/bash

PHP_VERSION=php-7.3.6

sudo apt-get update
sudo apt-get install gdb git gcc make pkg-config autoconf libtool bison libxml2-dev libssl-dev curl valgrind -y

# Install PHP:
sudo mkdir /usr/local/php
cd /usr/local/php

sudo mkdir cli

sudo mkdir php-src
sudo curl -LSs https://github.com/php/php-src/archive/$PHP_VERSION.tar.gz | sudo tar -xz -C "php-src" --strip-components 1

pushd php-src

sudo ./buildconf --force
sudo ./configure \
    --prefix=/usr/local/php/cli \
    --with-config-file-path=/usr/local/php/cli \
    --with-valgrind \
    --with-openssl \
    --with-zlib \
    --without-pear \
    --enable-cli \
    --enable-debug \
    --enable-maintainer-zts \
    --enable-mbstring \
    --enable-pcntl \
    --enable-sockets

sudo make -j4
sudo make install
popd

sudo touch /usr/local/php/cli/php.ini
sudo chmod 466 /usr/local/php/cli/php.ini

sudo ln -s /usr/local/php/cli/bin/php /usr/local/bin/php
sudo ln -s /usr/local/php/cli/bin/phpize /usr/local/bin/phpize
sudo ln -s /usr/local/php/cli/bin/php-config /usr/local/bin/php-config

sudo echo "alias phpgdb='gdb $(which php)'" >> ~/.bash_aliases

# Compile async extension:
cd /vagrant

sudo phpize --clean
sudo phpize
sudo ./configure --with-valgrind
sudo make install -B

sudo cat ./defaults.ini >> /usr/local/php/cli/php.ini

php -v
php -m