From a93d65fa0b48525f54c4474c07dc06ca00f4adc8 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 18 Aug 2017 13:28:06 +0200
Subject: Separate jobs for test-suite and package building under OSX.

---
 .travis.yml | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 66befc48ca..7a0e80b540 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -140,9 +140,20 @@ matrix:
       env:
       - TEST_TARGET="test-suite"
       - COMPILER="4.02.3"
+      - CAMLP5_VER="6.17"      
+      - NATIVE_COMP="no"
+      - COQ_DEST="-local"
+      before_install:
+      - brew update
+      - brew install opam gnu-time
+
+    - os: osx
+      env:
+      - TEST_TARGET=""
+      - COMPILER="4.02.3"
       - CAMLP5_VER="6.17"
       - NATIVE_COMP="no"
-      - COQ_DEST="-prefix _install"
+      - COQ_DEST="-prefix ${PWD}/_install"
       - EXTRA_CONF="-coqide opt -warn-error"
       - EXTRA_OPAM="lablgtk-extras"
       before_install:
@@ -161,6 +172,9 @@ matrix:
         on:
           all_branches: true
 
+before_install:
+- if [ "${TRAVIS_PULL_REQUEST}" != "false" ]; then echo "Tested commit (followed by parent commits):"; git log -1; for commit in `git log -1 --format="%P"`; do echo; git log -1 $commit; done; fi
+
 install:
 - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
 - eval $(opam config env)
-- 
cgit v1.2.3