[WIP] Specify MongoDB versions in build matrix

.travis.yml

@@ -18,7 +18,7 @@ matrix:
       addons: &common_addons
         apt: 
           sources: [ mongodb-3.4-precise ]
-          packages: [ mongodb-org, *common_packages ]
+          packages: [ mongodb-org=3.4.9, *common_packages ]
     - php: 5.6
       env: *common_env
       addons: *common_addons
@@ -36,39 +36,49 @@ matrix:
       addons:
         apt:
           sources: [ mongodb-upstart ]
-          packages: [ mongodb-10gen, *common_packages ]
+          packages: [ mongodb-10gen=2.4.14, *common_packages ]
     - php: 7.0
       env: DRIVER_VERSION=1.3.0RC1 SERVER_VERSION=2.6
       addons:
         apt:
           sources: [ mongodb-upstart ]
-          packages: [ mongodb-org, *common_packages ]
+          packages: [ mongodb-org=2.6.12, *common_packages ]
     - php: 7.0
       env: DRIVER_VERSION=1.3.0RC1 SERVER_VERSION=3.0
       addons:
         apt:
           sources: [ mongodb-3.0-precise ]
-          packages: [ mongodb-org, *common_packages ]
+          packages: [ mongodb-org=3.0.15, *common_packages ]
     - php: 7.0
       env: DRIVER_VERSION=1.3.0RC1 SERVER_VERSION=3.2
       addons:
         apt:
           sources: [ mongodb-3.2-precise ]
-          packages: [ mongodb-org, *common_packages ]
+          packages: [ mongodb-org=3.2.16, *common_packages ]
     - php: 7.0
       env: DRIVER_VERSION=devel SERVER_VERSION=3.4
       addons: *common_addons
 
-before_script:
+before_install:
+  - pip install "mongo-orchestration>=0.6.7,<1.0" --user `whoami`
+  - wget http://fastdl.mongodb.org/linux/mongodb-linux-x86_64-${SERVER_VERSION}.tgz
+  - tar zxf mongodb-linux-x86_64-${SERVER_VERSION}.tgz
+  - export PATH=${PWD}/mongodb-linux-x86_64-${SERVER_VERSION}/bin/:${PATH}
   - mongod --version
-  - mongo --eval 'var v = db.runCommand({buildInfo:1}).versionArray; if ((v[0] == 3 && v[1] >= 4) || v[0] >= 4) db.adminCommand({setFeatureCompatibilityVersion:"3.4"});'
+
+before_script:
+  - mongo-orchestration start
   - pecl install -f mongodb-${DRIVER_VERSION}
   - php --ri mongodb
   - composer install --dev --no-interaction --prefer-source
   - ulimit -c
   - ulimit -c unlimited -S
 
 script:
-  - ./vendor/bin/phpunit --debug || RESULT=$?
+  - vendor/bin/phpunit --debug
+
+after_failure:
   - for i in $(find ./ -maxdepth 1 -name 'core*' -print); do gdb `php -r 'echo PHP_BINARY;'` core* -ex "thread apply all bt" -ex "set pagination 0" -batch; done;
-  - if [[ ${RESULT} != 0 ]]; then exit $RESULT ; fi;
+
+after_script:
+  - mongo-orchestration stop