From d45dacd1e1ae0ca808bcf118a2534cbff7b39b48 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 4 Sep 2023 11:04:01 +0200
Subject: [PATCH] build: some opam deps are actually not completely necessary

---
 sasa.opam | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/sasa.opam b/sasa.opam
index 92a8c50a..26a7e19a 100644
--- a/sasa.opam
+++ b/sasa.opam
@@ -20,16 +20,18 @@ depends: [
   "ocamlfind"
   "dune" { >= "2.0" }
   "ocamlgraph"
-  "conf-graphviz"
   "lutils"
   "psq"
   "qtest"
   "functory"
-  "ledit"
   "rdbg" { >= "1.200" }
-  "lustre-v6"
+]
+depopts: [
+  "conf-graphviz"
+  "ledit"
   "lutin"
-  ]
+  "lustre-v6"
+]
 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