X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=.travis.yml;h=3944cfcdbaff3f26b05e3a36d2f9f82449aecf3a;hb=ac735cf96eb914759f7e7595630857254b599783;hp=38878b687811e47cf475731ab6b7425088af0f2f;hpb=cd5dbb4a511e7a616a61187a5de1a611a9748cbd;p=plcapi.git

diff --git a/.travis.yml b/.travis.yml
index 38878b6..3944cfc 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,8 @@
 language: php
 
+# the current Travis VMs are based on Ubuntu Trusty. Alas, those do not have php 5.3 available. So we keep using Precise...
+dist: precise
+
 php:
   - 5.3
   - 5.4
@@ -7,7 +10,8 @@ php:
   - 5.6
   - 7.0
   - 7.1
-  # hhvm is not available any more on default travis images
+  - 7.2
+  # hhvm is not available any more on Precise images
   #- hhvm
 
 before_install:
@@ -23,7 +27,7 @@ before_script:
   # Disable xdebug for speed.
   # NB: this should NOT be done for hhvm and php 7.0.
   # Also we use the php 5.6 run to generate code coverage reports, and we need xdebug for that
-  - if [ "$TRAVIS_PHP_VERSION" != "hhvm" -a "$TRAVIS_PHP_VERSION" != "7.0" -a "$TRAVIS_PHP_VERSION" != "5.6" ]; then phpenv config-rm xdebug.ini; fi
+  - if [ "$TRAVIS_PHP_VERSION" != "hhvm" -a "$TRAVIS_PHP_VERSION" != "7.2"  -a "$TRAVIS_PHP_VERSION" != "7.0" -a "$TRAVIS_PHP_VERSION" != "5.6" ]; then phpenv config-rm xdebug.ini; fi
 
   # Set up Apache and Privoxy instances inside the Travis VM and use them for testing against
   - if [ "$TRAVIS_PHP_VERSION" != "hhvm" ]; then ./tests/ci/travis/setup_php_fpm.sh; ./tests/ci/travis/setup_apache.sh; fi