diff options
| author | Emilio Jesus Gallego Arias | 2018-10-25 13:05:36 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-12-14 16:04:35 +0100 |
| commit | 85b91b71abe7e60a9096ae31b9d0b4afda2189bb (patch) | |
| tree | 5bf4f7bcc6be4837dee7c0a946969beb36091946 /dune | |
| parent | 40aac459c94b9a8696e4d23dfdc0ce9279e63616 (diff) | |
[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.
Diffstat (limited to 'dune')
| -rw-r--r-- | dune | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -4,7 +4,9 @@ (release (flags :standard -rectypes) (ocamlopt_flags -O3 -unbox-closures)) (ireport (flags :standard -rectypes -w -9-27-40+60) - (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report))) + (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report)) + (ocaml408 + (flags :standard -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -w -9-27+40+60 -warn-error -5 -alert --deprecated))) ; The _ profile could help factoring the above, however it doesn't ; seem to work like we'd expect/like: |