From 80860c4d52b057c491d160d8c5457d1591f4b3cc Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 22 Mar 2019 11:02:23 +0100
Subject: [PATCH] Fix: change the image for the CI
---
.gitlab-ci.yml | 3 ++-
lib/sasacore/dune-project | 1 +
lib/sasalib/dune-project | 1 +
src/dune-project | 1 +
4 files changed, 5 insertions(+), 1 deletion(-)
create mode 100644 lib/sasacore/dune-project
create mode 100644 lib/sasalib/dune-project
create mode 100644 src/dune-project
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fc6808dd..5746d2b7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,4 @@
-image: ocaml/opam2
+image: ubuntu-16.04_ocaml-4.06.0
stages:
- build
@@ -10,6 +10,7 @@ test:
- opam repo add opamorg "https://opam.ocaml.org/1.2.2"
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
- opam update -y
+ - opam switch 4.07.0
- opam depext -y lustre-v6 lutin
- opam install -y dune ocamlgraph lutin
- make
diff --git a/lib/sasacore/dune-project b/lib/sasacore/dune-project
new file mode 100644
index 00000000..f75713fb
--- /dev/null
+++ b/lib/sasacore/dune-project
@@ -0,0 +1 @@
+(lang dune 1.2)
diff --git a/lib/sasalib/dune-project b/lib/sasalib/dune-project
new file mode 100644
index 00000000..f75713fb
--- /dev/null
+++ b/lib/sasalib/dune-project
@@ -0,0 +1 @@
+(lang dune 1.2)
diff --git a/src/dune-project b/src/dune-project
new file mode 100644
index 00000000..f75713fb
--- /dev/null
+++ b/src/dune-project
@@ -0,0 +1 @@
+(lang dune 1.2)
--
GitLab