diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-01-15 05:04:55 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-01-15 05:04:55 +0100 |
| commit | f7824d45cfd650f67496fab24bd6df7ef67b6184 (patch) | |
| tree | fe8fd080275044c6247c0cce304460940dce7f06 /.travis.yml | |
| parent | 22944c2dca55a62d86eb3a6d7ce0d576731141ca (diff) | |
| download | ghdl-f7824d45cfd650f67496fab24bd6df7ef67b6184.tar.gz ghdl-f7824d45cfd650f67496fab24bd6df7ef67b6184.tar.bz2 ghdl-f7824d45cfd650f67496fab24bd6df7ef67b6184.zip | |
travis: tentatively try mixed setup.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 26 |
1 files changed, 17 insertions, 9 deletions
diff --git a/.travis.yml b/.travis.yml index c33cdb44c..74b678d67 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,11 +1,19 @@ language: c -sudo: required -dist: trusty -env: - - BLD=mcode - - BLD=llvm -before_install: - - sudo apt-get update -qq - - sudo apt-get install -y gnat-4.8 zlib1g-dev - - sudo apt-get install -y llvm-3.5-dev llvm-3.5-tools libedit-dev +matrix: + include: + - os: linux + sudo: required + dist: trusty + env: BLD=llvm + before_install: + - sudo apt-get update -qq + - sudo apt-get install -y gnat-4.8 zlib1g-dev + - sudo apt-get install -y llvm-3.5-dev llvm-3.5-tools libedit-dev + - os: linux + sudo: false + env: BLD=mcode + addons: + apt: + packages: + - gnat script: ./dist/travis-ci.sh $BLD |