From 2831e9a7acbddf6acafc4ed3f8df2e328180c299 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 5 Dec 2022 10:26:41 +0100
Subject: [PATCH] ci: add ledit as a dependance (used in doc and test)
---
sasa.opam | 1 +
test/bfs-spanning-tree/Makefile | 4 ++--
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/sasa.opam b/sasa.opam
index f387df3e..1287e0d3 100644
--- a/sasa.opam
+++ b/sasa.opam
@@ -23,6 +23,7 @@ depends: [
"lutils"
"psq"
"functory"
+ "ledit"
"rdbg" { >= "1.194" }
"lustre-v6"
"lutin"
diff --git a/test/bfs-spanning-tree/Makefile b/test/bfs-spanning-tree/Makefile
index 90dfaf5f..fb84eaaf 100644
--- a/test/bfs-spanning-tree/Makefile
+++ b/test/bfs-spanning-tree/Makefile
@@ -1,4 +1,4 @@
-# Time-stamp: <modified the 22/06/2022 (at 10:17) by Erwan Jahier>
+# Time-stamp: <modified the 05/12/2022 (at 10:24) by Erwan Jahier>
DECO_PATTERN="0:root.ml 1-:p.ml"
-include ../Makefile.dot
@@ -27,7 +27,7 @@ lurette0: fig51_noinit.cmxs fig51_noinit.lut fig51_noinit_oracle.lus
-oracle "lv6 fig51_noinit_oracle.lus -n oracle"
test_rdbg: fig51_noinit.ml fig51_noinit.lut
- ledit rdbg --sasa -sut "sasa fig51_noinit.dot " -go --input some_session
+ rdbg --sasa -sut "sasa fig51_noinit.dot " -go --input some_session
clean: genclean
rm -f fig*oracle.lus fig5*.ml
--
GitLab