From 45a90e8766e609c5de8aa2b01eae998131eb9811 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 9 Apr 2024 11:03:11 +0200
Subject: [PATCH] build: lutin is actually not mandatory to use sasa
---
sasa.opam | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/sasa.opam b/sasa.opam
index e687b49a..e81f7ffe 100644
--- a/sasa.opam
+++ b/sasa.opam
@@ -26,9 +26,11 @@ depends: [
"functory"
"rdbg" { >= "1.200" }
"lustre-v6"
+]
+depopts: [
+ "ledit"
"lutin"
]
-# depopts: [ "ledit" ]
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