env:

- GHCVER=7.8.3 CABALVER=1.18

before_install:

- travis_retry sudo add-apt-repository -y ppa:hvr/ghc

- travis_retry sudo apt-get update

- travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER happy-1.19.4 alex-3.1.3

- export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:/opt/alex/3.1.3/bin:/opt/happy/1.19.4/bin:$PATH

- sudo apt-get update -qq

- sudo apt-get install -qq zlib1g-dev libncurses-dev libcairo2-dev libglib2.0-dev libpango1.0-dev libgtk2.0-dev libglade2-dev

install:

- travis_retry cabal update

- cabal install gtk2hs-buildtools

- cabal install http://www.dfki.de/cps/hets/src-distribution/programatica-1.0.0.5.tar.gz

- cabal install --only-dependencies

- ghc-pkg hide programatica

- rm -f programatica

- mkdir -p programatica

- wget http://www.dfki.de/cps/hets/src-distribution/programatica-1.0.0.5.tar.gz

- tar -xf programatica-1.0.0.5.tar.gz

- mv programatica-1.0.0.5 programatica/tools

script:

- make compile_in_steps

- ./hets -V

- export HETS_MAGIC=$PWD/magic/hets.magic

- make check

cache:

directories:

- .objs