From 85b91b71abe7e60a9096ae31b9d0b4afda2189bb Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 25 Oct 2018 13:05:36 +0200
Subject: [dune] [gitlab] Test OCaml trunk.

We add a job testing the build of Coq with OCaml 4.08 [AKA `trunk`]

CoqIDE is not supported in 4.08 due to missing `lablgtk`, also `oUnit`
cannot be currently installed, thus we have to add a switch to the
test suite to disable `unit-tests`.

Many deprecation warnings happened in 4.08 so we use the `release`
profile to make them not fatal. Using a 4.08 build profile would be an
option too.
---
 test-suite/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/dune')

diff --git a/test-suite/dune b/test-suite/dune
index c5fa0bb14a..eae072553a 100644
--- a/test-suite/dune
+++ b/test-suite/dune
@@ -70,4 +70,4 @@
   (progn
    ; XXX: we will allow to set the NJOBS variable in a future Dune
    ; version, either by using an env var or by letting Dune set `-j`
-   (run make -j 2 BIN= PRINT_LOGS=1))))
+   (run make -j 2 BIN= PRINT_LOGS=1 UNIT_TESTS=%{env:COQ_UNIT_TEST=unit-tests}))))
-- 
cgit v1.2.3