From 4c2d6d65e93c6435ef320a1f3faad5aacc8f16c3 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Tue, 27 Oct 2020 16:48:35 +0100 Subject: [PATCH] [Callgraph] Fixes distributed files --- Makefile | 1 + headers/header_spec.txt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 64c9342a841..e7a7f05764e 100644 --- a/Makefile +++ b/Makefile @@ -782,6 +782,7 @@ PLUGIN_DIR:=src/plugins/callgraph PLUGIN_CMO:= options journalize subgraph cg services uses register ifeq ($(HAS_DGRAPH),yes) PLUGIN_GUI_CMO:=cg_viewer +PLUGIN_DISTRIB_EXTERNAL:=cg_viewer.yes.ml PLUGIN_GENERATED:=$(PLUGIN_DIR)/cg_viewer.ml else PLUGIN_GUI_CMO:= diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 3292d5c1407..c77fc0d433b 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -751,7 +751,7 @@ src/plugins/callgraph/Callgraph.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/callgraph_api.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/cg.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/cg.mli: CEA_LGPL_OR_PROPRIETARY -src/plugins/callgraph/cg_viewer.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/callgraph/cg_viewer.yes.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/journalize.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/journalize.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/options.ml: CEA_LGPL_OR_PROPRIETARY -- GitLab