language: c
os:
  - linux
  - osx
compiler:
  - clang
sudo: false
script:
  - python minipkg.py
  - source ~/.minipkg_profile
after_success:
  - pkg_info
  - bzip2 --version
  - gtar --version
  - gzip --version
  - xz --version
  - autoconf --version
  - automake --version
  - gmake --version
  - libtool --version
  - frama-c --version
  - spatch --version
  - python --version
  - cmake --version
after_failure:
  - cat ~/*-log.txt

language: c
os:
  - linux
  - osx
compiler:
  - clang
sudo: false
script:
  - python minipkg.py
  - source ~/.minipkg_profile
after_success:
  - pkg_info
  - bzip2 --version
  - gtar --version
  - gzip --version
  - xz --version
  - gmake --version
  - libtool --version
  - frama-c --version
  - spatch --version
  - python --version
  - cmake --version
  - clang --version
  - cython --version
  - scons --version
after_failure:
  - cat ~/*-log.txt

Update the Travis CI configuration.
Update the Travis CI configuration.
