diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 00000000..978e6b48 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,29 @@ +language: c + +os: + - linux + - osx + +compiler: + - clang + - gcc + +# when https://github.com/travis-ci/apt-package-whitelist/issues/792 is closed, use the container-based infrastructure +#sudo: false +#addons: +# apt: +# packages: +# - mlton + +# brew install mlton doesn't seem to work (https://github.com/travis-ci/travis-ci/issues/5379) +matrix: + allow_failures: + - os: osx + +before_install: + - if command -v apt-get &>/dev/null; then sudo apt-get update -qq; fi + - if command -v apt-get &>/dev/null; then sudo apt-get install -y mlton; fi + - if command -v brew &>/dev/null; then brew update; fi + - if command -v brew &>/dev/null; then brew install mlton; fi + +script: ./autogen.sh && ./configure && make && make test |