diff --git a/vagrant/provision.sh b/vagrant/provision.sh index bc2416c..b5368e1 100644 --- a/vagrant/provision.sh +++ b/vagrant/provision.sh @@ -1,5 +1,10 @@ #!/usr/bin/env bash +# PHP-5.6 repository +if ! apt-cache policy | grep ondrej/php5-5.6 ; then + apt-add-repository -y ppa:ondrej/php5-5.6 +fi + apt-get update apt-get install -q -y git augeas-tools nginx php5 php5-fpm php5-cli php5-curl php5-xdebug python-pip @@ -62,14 +67,6 @@ composer --working-dir=/vagrant install service php5-fpm restart service nginx restart -# Run the unit tests. -cd /vagrant -vendor/bin/phpunit - -# Build the documentation. -cd /vagrant/docs -make clean && make html - # Drop the user into the /vagrant directory on log in and dislay a message. if ! grep /home/vagrant/.bashrc -e "cd /vagrant" &> /dev/null ; then echo "cd /vagrant" >> /home/vagrant/.bashrc