diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-05-28 13:31:04 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-01 23:33:56 +0200 |
| commit | b4fd775380694f62fc89bec459f1e96723da4283 (patch) | |
| tree | 5365ed16757c443451ee3819c4aa3932ed478b63 /.travis.yml | |
| parent | 3748c26914b667f2379374801ebc3f9c8317b4c0 (diff) | |
[travis] Add OSX test-suite checking.
This is a first step towards getting Travis build our OSX package, but
is also useful immediately (c.f. the recent breakage of the coq_makefile
test-suite under OSX).
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 14bafd345..e79498124 100644 --- a/.travis.yml +++ b/.travis.yml @@ -31,6 +31,7 @@ env: # system is == 4.02.3 - COMPILER="system" - CAMLP5_VER="6.14" + - NATIVE_COMP="yes" # Main test suites matrix: - TEST_TARGET="test-suite" COMPILER="4.02.3+32bit" @@ -133,6 +134,16 @@ matrix: - avsm packages: *coqide-packages + - os: osx + env: + - TEST_TARGET="test-suite" + - COMPILER="system" + - CAMLP5_VER="6.17" + - NATIVE_COMP="no" + before_install: + - brew update + - brew install opam + install: - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y - eval $(opam config env) @@ -144,7 +155,7 @@ script: - set -e - echo 'Configuring Coq...' && echo -en 'travis_fold:start:coq.config\\r' -- ./configure -local -usecamlp5 -native-compiler yes ${EXTRA_CONF} +- ./configure -local -usecamlp5 -native-compiler ${NATIVE_COMP} ${EXTRA_CONF} - echo -en 'travis_fold:end:coq.config\\r' - echo 'Building Coq...' && echo -en 'travis_fold:start:coq.build\\r' |