From d9a7f221d99018a8da98023ed61e44d94cd60575 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 9 Jan 2023 10:29:03 +0100
Subject: [PATCH] build: should not depend on emacs

---
 rdbgui4sasa.opam | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rdbgui4sasa.opam b/rdbgui4sasa.opam
index de3438fa..9861730a 100644
--- a/rdbgui4sasa.opam
+++ b/rdbgui4sasa.opam
@@ -23,6 +23,7 @@ build: ["dune" "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/"
-depexts: ["graphviz" "emacs" "gnuplot" "zathura"]
+depexts: ["graphviz" "gnuplot"]
+# depexts: ["graphviz" "emacs" "gnuplot" "zathura"]
 dev-repo:
   "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
-- 
GitLab