1language: c
2before_script: developers/install-poly.sh
3script: $SML < tools/smart-configure.sml && bin/build $BUILDOPTS --nograph
4notifications:
5  email:
6    on_success: always
7    on_failure: always
8
9env:
10  global:
11    - PATH=$PATH:$HOME/bin LD_LIBRARY_PATH=$HOME/lib
12  matrix:
13    - SML=mosml BUILDOPTS="--seq=developers/travis/smallseq"
14    - SML=mosml BUILDOPTS="--seq=tools/sequences/kernel -t1"
15    - SML=poly BUILDOPTS=
16    - SML=poly BUILDOPTS=--expk
17    - SML=poly BUILDOPTS="--seq=developers/travis/selftestseq -t1"
18    - SML=poly BUILDOPTS="--expk --seq=developers/travis/selftestseq -t1"
19    - SML=poly BUILDOPTS="--seq=developers/travis/more_examples_seq -t1"
20    - SML=poly BUILDOPTS="--expk --seq=developers/travis/more_examples_seq -t1"
21    - SML=poly POLY_GIT=T BUILDOPTS="--seq=developers/travis/selftestseq"
22
23matrix:
24  include:
25    - os: osx
26      env: SML=poly BUILDOPTS=
27    - env: SML=poly POLY_ROOT=T BUILDOPTS="--seq developers/travis/selftestseq"
28      sudo: true
29    - env: SML=poly OPENTHEORY=T BUILDOPTS="--otknl --seq developers/travis/vsmallseq"
30  allow_failures:
31    - os: osx
32    - env: SML=poly POLY_GIT=T BUILDOPTS="--seq=developers/travis/selftestseq"
33