From 8ac1a21e11bed34fd2ac40ba89678b4bdb28b9e1 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 31 Jan 2019 11:15:22 +0100
Subject: [ci] [ocaml] Fix OCaml trunk builds.

---
 .gitlab-ci.yml | 14 +++++++-------
 dune           |  2 +-
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0b2d56fa3e..a6858c6802 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -401,11 +401,11 @@ test-suite:edge+trunk+make:
   stage: test
   dependencies: []
   script:
-    - opam switch create 4.08.0 --empty
+    - opam switch create 4.09.0 --empty
     - eval $(opam env)
-    - opam repo add ocaml-pr https://github.com/ocaml/ocaml-pr-repository.git
+    - opam repo add ocaml-beta https://github.com/ocaml/ocaml-beta-repository.git
     - opam update
-    - opam install ocaml-variants=4.08.0 num
+    - opam install ocaml-variants=4.09.0+trunk num
     - eval $(opam env)
     # We avoid problems with warnings:
     - ./configure -profile devel -warn-error no
@@ -425,18 +425,18 @@ test-suite:edge+trunk+dune:
   stage: test
   dependencies: []
   script:
-    - opam switch create 4.08.0 --empty
+    - opam switch create 4.09.0 --empty
     - eval $(opam env)
-    - opam repo add ocaml-pr https://github.com/ocaml/ocaml-pr-repository.git
+    - opam repo add ocaml-beta https://github.com/ocaml/ocaml-beta-repository.git
     - opam update
-    - opam install ocaml-variants=4.08.0 num
+    - opam install ocaml-variants=4.09.0+trunk num
     - opam pin add dune --dev # ounit lablgtk conf-gtksourceview
     - opam install dune
     - eval $(opam env)
     # We use the release profile to avoid problems with warnings
     - make -f Makefile.dune trunk
     - export COQ_UNIT_TEST=noop
-    - dune runtest --profile=ocaml408
+    - dune runtest --profile=ocaml409
   variables:
     OPAM_SWITCH: edge
   artifacts:
diff --git a/dune b/dune
index a7264ba91e..1706cb44b1 100644
--- a/dune
+++ b/dune
@@ -5,7 +5,7 @@
           (ocamlopt_flags -O3 -unbox-closures))
  (ireport (flags :standard -rectypes -w -9-27-40+60)
           (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report))
- (ocaml408
+ (ocaml409
   (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
-- 
cgit v1.2.3