language: haskell
before_install:
  - sudo add-apt-repository -y ppa:terry.guo/gcc-arm-embedded
  - sudo apt-get update -qq
  - sudo apt-get install -y gcc-arm-none-eabi
  - git clone https://github.com/galoisinc/ivory
  - export IVORY_REPO=$PWD/ivory
  - git clone https://github.com/galoisinc/tower
  - export TOWER_REPO=$PWD/tower
  - git clone https://github.com/galoisinc/ivory-tower-stm32
  - export BSP_REPO=$PWD/ivory-tower-stm32
  - git clone https://github.com/aisamanra/s-cargot
  - export SCARGOT_REPO=$PWD/s-cargot
install:
  - cabal install cabal-install
  - cabal install alex happy
script:
  - ghc --version
  - cabal --version
  - arm-none-eabi-gcc --version
  - make create-sandbox
  - make
  - make $ENV_TEST_TARGET
ghc:
  - 7.8
branches:
  except:
    - /^wip.*$/
env:
  - ENV_TEST_TARGET=haskell-backend-test
  - ENV_TEST_TARGET=rpc-backend-test
  - ENV_TEST_TARGET=ivory-backend-test
  - ENV_TEST_TARGET=tower-backend-test