dist: bionic

sudo: false

language: php

php:
  - 7.0
  - 7.1
  - 7.2
  - 7.3
  - 7.4
  - nightly

before_install:
  - sudo sh -c 'echo "deb https://repo.delellis.com.ar bionic bionic" > /etc/apt/sources.list.d/20-pdlib.list'
  - wget -qO - https://repo.delellis.com.ar/repo.gpg.key | sudo apt-key add -
  - sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 762E3157
  - sudo apt update
  - sudo apt-get install libdlib-dev php-bz2
  - phpize
  - ./configure --enable-debug
  - make

script:
  - export TEST_PHP_EXECUTABLE=`which php`
  - export NO_INTERACTION=1
  - php run-tests.php -q --show-diff