| #!/bin/bash | 
 |  | 
 | cd $(dirname $0)/../../.. | 
 |  | 
 | # prepare php environments | 
 | sudo apt-get update && sudo apt-get install -y --force-yes php5 | 
 | sudo ln -sf /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h | 
 | mkdir php_temp | 
 | cd php_temp | 
 | curl -sS https://getcomposer.org/installer | php | 
 | sudo mv composer.phar /usr/local/bin/composer | 
 | git clone https://github.com/php/php-src | 
 | cd php-src && git checkout PHP-7.2.13 && ./buildconf --force | 
 | ./configure \ | 
 | 	--enable-bcmatch \ | 
 | 	--with-gmp --with-openssl \ | 
 | 	--with-zlib  \ | 
 | 	--prefix=/usr/local/php-7.2 && \ | 
 | make -j8 && sudo make install && make clean | 
 | wget -O phpunit https://phar.phpunit.de/phpunit-7.phar && \ | 
 | 	chmod +x phpunit && \ | 
 | 	sudo cp phpunit /usr/local/php-7.2/bin | 
 | sudo apt-get install -y --force-yes valgrind | 
 | cd ../.. | 
 |  | 
 | ./tests.sh benchmark |