From f1c72034d4bf99732bc283e9c78583a239d1a05c Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 29 Jun 2022 09:52:46 +0200
Subject: [PATCH] ci: add the yaml dependancy
---
.gitlab-ci.yml | 4 +---
lustre-v6.opam | 3 ++-
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 76d26db9..ef1d35d5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,9 +26,7 @@ build:
- opam repo add official "https://opam.ocaml.org/"
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- opam update
- - opam install -y ocamlfind dune extlib depext
- - opam depext -y rdbg
- - opam install rdbg
+ - opam install --deps-only ./lustre-v6.opam
- make
- make install
diff --git a/lustre-v6.opam b/lustre-v6.opam
index 3c7d7e2f..6d8febcc 100644
--- a/lustre-v6.opam
+++ b/lustre-v6.opam
@@ -19,7 +19,8 @@ depends: [
"ocamlfind"
"lutils" {>= "1.49"}
"rdbg" {>= "1.196.9"}
- "num"
+ "num"
+ "yaml"
]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages:
--
GitLab