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 create-sandbox
  - IVORY_REPO=$IVORY_REPO make
  - IVORY_REPO=$IVORY_REPO make test
ghc:
  - 7.8