os: linux
dist: bionic
sudo: true

services:
  - docker

script:
- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.12.2-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
                info=$(make format-check); if [ -n "$info" ]; then echo "Format error detected."; exit 1; fi;
                make submodule; SGX_MODE=SIM make; SGX_MODE=SIM make test'