7 - sudo apt-get update -qq
8 - sudo apt-get install -qq libpq-dev
11 - sudo ./travis/compile-php.sh
12 - sudo ./travis/compile-raphf.sh
13 - sudo ./travis/compile-ext.sh
14 - sudo ./travis/configure-postgres.sh
17 - REPORT_EXIT_STATUS=1 $HOME/bin/php ./run-tests.php -p $HOME/bin/php --show-diff