# Allow (faster) Docker builds
sudo: false

language: haskell
before_install:
  - git clone https://github.com/galoisinc/ivory
  - export IVORY_REPO=$PWD/ivory
install:
  - cabal install alex
  - cabal install happy
script:
  - IVORY_REPO=$IVORY_REPO make $ENV_TEST_TARGET
ghc:
  - 7.6
  - 7.8
env:
  - ENV_TEST_TARGET=tower
  - ENV_TEST_TARGET=tower-config
  - ENV_TEST_TARGET=tower-aadl
  - ENV_TEST_TARGET=tower-hal

# Allow (faster) Docker builds
sudo: false

language: haskell
before_install:
  - git clone https://github.com/galoisinc/ivory
  - export IVORY_REPO=$PWD/ivory
install:
  - cabal install alex
  - cabal install happy
script:
  - IVORY_REPO=$IVORY_REPO make $ENV_TEST_TARGET
ghc:
  - 7.8
env:
  - ENV_TEST_TARGET=tower
  - ENV_TEST_TARGET=tower-config
  - ENV_TEST_TARGET=tower-aadl
  - ENV_TEST_TARGET=tower-hal

Drop GHC 7.6 support in tower.
Drop GHC 7.6 support in tower.

We've already dropped it for ivory-tower-stm32 and smaccmpilot, and now
tower-hal doesn't build on 7.6 due to what looks suspiciously like a
compiler bug. Give up and go home.
