From f39dd28dc42dcad43751f8ffee50aa1635227d00 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Thu, 24 Sep 2020 15:55:39 +0200
Subject: [PATCH] Fix dependencies of callgraph and gui
---
src/plugins/callgraph/dune | 2 +-
src/plugins/gui/debug_manager.ko.ml | 0
src/plugins/gui/{debug_manager.ml => debug_manager.ok.ml} | 0
src/plugins/gui/dune | 6 +++++-
4 files changed, 6 insertions(+), 2 deletions(-)
create mode 100644 src/plugins/gui/debug_manager.ko.ml
rename src/plugins/gui/{debug_manager.ml => debug_manager.ok.ml} (100%)
diff --git a/src/plugins/callgraph/dune b/src/plugins/callgraph/dune
index aa9aadd4585..fc6669bca1d 100644
--- a/src/plugins/callgraph/dune
+++ b/src/plugins/callgraph/dune
@@ -16,7 +16,7 @@
(modules Cg_viewer)
; (private_modules Cg_viewer)
(flags -open Frama_c_kernel -open Frama_c_gui -open Callgraph)
- (libraries callgraph frama-c.kernel frama-c.gui)
+ (libraries callgraph frama-c.kernel frama-c.gui ocamlgraph.dgraph)
)
(plugin (optional) (name callgraph) (libraries frama-c-callgraph.gui) (site (frama-c plugins_gui)))
diff --git a/src/plugins/gui/debug_manager.ko.ml b/src/plugins/gui/debug_manager.ko.ml
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/src/plugins/gui/debug_manager.ml b/src/plugins/gui/debug_manager.ok.ml
similarity index 100%
rename from src/plugins/gui/debug_manager.ml
rename to src/plugins/gui/debug_manager.ok.ml
diff --git a/src/plugins/gui/dune b/src/plugins/gui/dune
index f375a5d9063..1f6d4a8b1e1 100644
--- a/src/plugins/gui/dune
+++ b/src/plugins/gui/dune
@@ -28,7 +28,7 @@
history
gui_printers
design
- analyses_manager file_manager project_manager debug_manager
+ analyses_manager file_manager project_manager
help_manager
property_navigator GSourceView gtk_compat
dgraph_helper
@@ -51,5 +51,9 @@
(ocamlgraph.dgraph -> dgraph_helper.yes.ml)
( -> dgraph_helper.no.ml)
)
+ (select debug_manager.ml from
+ (ocamlgraph.dgraph -> debug_manager.ok.ml)
+ ( -> debug_manager.ko.ml)
+ )
)
)
--
GitLab