Commit 71300cf4 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Merge branch 'fix/callgraph/src-distrib' into 'stable/titanium'

Fixes callgraph distributed files

See merge request frama-c/frama-c!2916
parents daa58e7f 4c2d6d65
...@@ -782,6 +782,7 @@ PLUGIN_DIR:=src/plugins/callgraph ...@@ -782,6 +782,7 @@ PLUGIN_DIR:=src/plugins/callgraph
PLUGIN_CMO:= options journalize subgraph cg services uses register PLUGIN_CMO:= options journalize subgraph cg services uses register
ifeq ($(HAS_DGRAPH),yes) ifeq ($(HAS_DGRAPH),yes)
PLUGIN_GUI_CMO:=cg_viewer PLUGIN_GUI_CMO:=cg_viewer
PLUGIN_DISTRIB_EXTERNAL:=cg_viewer.yes.ml
PLUGIN_GENERATED:=$(PLUGIN_DIR)/cg_viewer.ml PLUGIN_GENERATED:=$(PLUGIN_DIR)/cg_viewer.ml
else else
PLUGIN_GUI_CMO:= PLUGIN_GUI_CMO:=
......
...@@ -751,7 +751,7 @@ src/plugins/callgraph/Callgraph.mli: CEA_LGPL_OR_PROPRIETARY ...@@ -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/callgraph_api.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/cg.ml: 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.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.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/journalize.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/journalize.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/options.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/options.ml: CEA_LGPL_OR_PROPRIETARY
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment