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
