From 47484bf628996bfac71993b9d656a6f7b2c901e5 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 29 Jun 2022 11:03:43 +0200
Subject: [PATCH] ci: lutin should be installed to run the test
---
sasa.opam | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/sasa.opam b/sasa.opam
index 2d940345..d1285910 100644
--- a/sasa.opam
+++ b/sasa.opam
@@ -24,11 +24,9 @@ depends: [
"psq"
"functory"
"rdbg" { >= "1.194" }
-]
-depopts: [
"lustre-v6"
"lutin"
- ]
+]
build: ["make" "build"]
install: ["dune" "install"]
post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]
--
GitLab