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