From 16681ac2e3669d1c9ca3f4bb86c88820d697427b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 6 Apr 2017 00:52:41 +0200
Subject: [travis] Add flambda testing.

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

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index c38038452..d851edb9e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -39,6 +39,7 @@ env:
   - TEST_TARGET="test-suite" COMPILER="4.02.3+32bit"
   - TEST_TARGET="validate"                           TW="travis_wait"
   - TEST_TARGET="validate"   COMPILER="4.02.3+32bit" TW="travis_wait"
+  - TEST_TARGET="validate"   COMPILER="4.05.0+flambda" CAMLP5_VER="7.01" NATIVE_COMP="no" EXTRA_CONF="-flambda-opts -O3" NATIVE_COMP="no"
   - TEST_TARGET="ci-bignums TIMED=1"
   - TEST_TARGET="ci-color TIMED=1"
   - TEST_TARGET="ci-compcert TIMED=1"
@@ -103,6 +104,21 @@ matrix:
           - avsm
           packages: *extra-packages
 
+    # Full test-suite with flambda
+    - env:
+      - TEST_TARGET="test-suite"
+      - COMPILER="4.05.0+flambda"
+      - FINDLIB_VER="1.7.3"
+      - CAMLP5_VER="7.01"
+      - NATIVE_COMP="no"
+      - EXTRA_CONF="-coqide opt -with-doc yes -flambda-opts -O3"
+      - EXTRA_OPAM="lablgtk-extras hevea"
+      addons:
+        apt:
+          sources:
+          - avsm
+          packages: *extra-packages
+
     # Ocaml warnings with two compilers
     - env:
       - TEST_TARGET="coqocaml"
-- 
cgit v1.2.3