Skip to content

Remove PHP 5.4 and add PHP 7.1 and 7.2 to CI build matrix #395

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 25, 2017
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
91 changes: 53 additions & 38 deletions .travis.yml
Original file line number Diff line number Diff line change
@@ -1,57 +1,72 @@
language: php
dist: trusty
sudo: false

php:
- 5.4
- 5.5
- 5.6
- 7.0
services:
- mongodb

env:
global:
- KEY_SERVER="hkp://keyserver.ubuntu.com:80"
- MONGO_REPO_URI="http://repo.mongodb.com/apt/ubuntu"
- MONGO_REPO_TYPE="precise/mongodb-enterprise/"
- SOURCES_LOC="/etc/apt/sources.list.d/mongodb.list"
matrix:
- DRIVER_VERSION=1.2.0 SERVER_VERSION=2.6
- DRIVER_VERSION=1.2.0 SERVER_VERSION=3.0
- DRIVER_VERSION=1.2.0 SERVER_VERSION=3.2
- DRIVER_VERSION=stable SERVER_VERSION=3.4

addons:
apt:
packages: &common_packages
- gdb

matrix:
fast_finish: true
include:
- php: 5.5
env: &common_env DRIVER_VERSION=stable SERVER_VERSION=3.4
addons: &common_addons
apt:
sources: [ mongodb-3.4-precise ]
packages: [ mongodb-org, *common_packages ]
- php: 5.6
env: *common_env
addons: *common_addons
- php: 7.0
env: *common_env
addons: *common_addons
- php: 7.1
env: *common_env
addons: *common_addons
- php: 7.2
env: *common_env
addons: *common_addons
- php: 7.0
env: DRIVER_VERSION=1.2.0 SERVER_VERSION=2.4
addons:
apt:
sources: [ mongodb-upstart ]
packages: [ mongodb-10gen, *common_packages ]
- php: 7.0
env: DRIVER_VERSION=devel SERVER_VERSION=3.2
exclude:
- php: 5.4
env: DRIVER_VERSION=stable SERVER_VERSION=2.6
- php: 5.4
env: DRIVER_VERSION=stable SERVER_VERSION=3.0
- php: 5.5
env: DRIVER_VERSION=stable SERVER_VERSION=2.6
- php: 5.5
env: DRIVER_VERSION=stable SERVER_VERSION=3.0

before_install:
- sudo apt-key adv --keyserver ${KEY_SERVER} --recv 7F0CEB10
- sudo apt-key adv --keyserver ${KEY_SERVER} --recv EA312927
- echo "deb ${MONGO_REPO_URI} ${MONGO_REPO_TYPE}${SERVER_VERSION} multiverse" | sudo tee ${SOURCES_LOC}
- sudo apt-get update -qq

install:
- if dpkg --compare-versions ${SERVER_VERSION} le "2.4"; then export SERVER_PACKAGE=mongodb-10gen-enterprise; else export SERVER_PACKAGE=mongodb-enterprise; fi
- sudo apt-get install ${SERVER_PACKAGE}
- sudo apt-get -y install gdb
env: DRIVER_VERSION=1.2.0 SERVER_VERSION=2.6
addons:
apt:
sources: [ mongodb-upstart ]
packages: [ mongodb-org, *common_packages ]
- php: 7.0
env: DRIVER_VERSION=1.2.0 SERVER_VERSION=3.0
addons:
apt:
sources: [ mongodb-3.0-precise ]
packages: [ mongodb-org, *common_packages ]
- php: 7.0
env: DRIVER_VERSION=1.2.0 SERVER_VERSION=3.2
addons:
apt:
sources: [ mongodb-3.2-precise ]
packages: [ mongodb-org, *common_packages ]
- php: 7.0
env: DRIVER_VERSION=devel SERVER_VERSION=3.4
addons: *common_addons

before_script:
- phpenv config-rm xdebug.ini
- if dpkg --compare-versions ${SERVER_VERSION} le "2.4"; then export SERVER_SERVICE=mongodb; else export SERVER_SERVICE=mongod; fi
- if ! nc -z localhost 27017; then sudo service ${SERVER_SERVICE} start; fi
- 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"});'
- pecl install -f mongodb-${DRIVER_VERSION}
- if [ "$(php -v | grep 'PHP 5.4')" ]; then echo 'extension = mongodb.so' >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini; fi
- php --ri mongodb
- composer install --dev --no-interaction --prefer-source
- ulimit -c
Expand Down