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 - cabal install happy script: - ghc --version - cabal --version - arm-none-eabi-gcc --version - SCARGOT_REPO=$SCARGOT_REPO IVORY_REPO=$IVORY_REPO TOWER_REPO=$TOWER_REPO BSP_REPO=$BSP_REPO make create-sandbox - IVORY_REPO=$IVORY_REPO TOWER_REPO=$TOWER_REPO BSP_REPO=$BSP_REPO make - IVORY_REPO=$IVORY_REPO TOWER_REPO=$TOWER_REPO BSP_REPO=$BSP_REPO make test ghc: - 7.8 branches: except: - /^wip.*$/