shippable.yml

language: scala

scala:
  - 2.12.2

services:

env:
  global:
    - SIREUM_PARALLEL_BUILD=false
    - JAVA_OPTIONS="-Xmx2G -XX:+UseG1GC -XX:ReservedCodeCacheSize=1G -Xss2m -XX:+CMSClassUnloadingEnabled"

build:
  pre_ci:
  pre_ci_boot:
    image_name: sireum/v3-compcert
    image_tag: latest
    pull: true
    options: "-e HOME=/root"
  ci:
    - rm -rf sireum-v3
    - git clone -b master --recursive https://github.com/sireum/v3.git sireum-v3
    - git clone https://github.com/sireum/air.git sireum-v3/aadl/ir
    - cd sireum-v3
    - ln -s ../ ./awas
    - ./bin/sbt-launch.sh "project awas-jvm" test
    - cd ..
  post_ci:
  on_success:
    - mkdir -p shippable/testresults
    - rm -f ./shippable/testresults/*
    - cp ./jvm/target/test-reports/* shippable/testresults
  on_failure:
    - mkdir -p shippable/testresults
    - rm -f ./shippable/testresults/*
    - cp ./jvm/target/test-reports/* shippable/testresults
  push:
  cache: true