Skip to content

Commit

Permalink
travis: use trusty.
Browse files Browse the repository at this point in the history
  • Loading branch information
tgingold committed Jan 14, 2016
1 parent d4a06ff commit fee05c6
Showing 1 changed file with 6 additions and 5 deletions.
11 changes: 6 additions & 5 deletions .travis.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,8 @@
language: c
sudo: false
addons:
apt:
packages:
- gnat
sudo: required
dist: trusty
before_install:
- sudo apt-get update -qq
- sudo apt-get install -y gnat zlib1g-dev
- sudo apt-get install -y gnat llvm-3.5-dev llvm-3.5-tools
script: ./dist/travis-ci.sh

0 comments on commit fee05c6

Please sign in to comment.