diff --git a/Makefile b/Makefile index 64c9342a84132a7b20497f917d6822f09645d03b..e7a7f05764e3791417c62e81984d98f0925f937e 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 3292d5c140719b154d3caefeac71af3922106fdf..c77fc0d433b81987994e5e663f794fe5bda4d624 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