From c76a22994a638f635465773b87465d337a8cb417 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 30 Sep 2015 17:45:08 +0200
Subject: [PATCH] [doc] document explicit dependencies on Value-based plug-ins

---
 Changelog_detailed.md | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/Changelog_detailed.md b/Changelog_detailed.md
index 1cdaff4f92a..b519e58228d 100644
--- a/Changelog_detailed.md
+++ b/Changelog_detailed.md
@@ -3,6 +3,21 @@ of Frama-C. It is intended for developers only. For a summary of all changes,
 please refer to Changelog.
 
 * Changes between Sodium and Magnesium
+** Use of Value-based plug-ins:
+  In case your plug-in programmatically uses one of the following plug-ins
+  (even through Db):
+
+    Value, Metrics, Occurrence, From, Users, Constant_Propagation, Inout,
+    Impact, Pdg, Scope, Sparecode, Slicing
+
+  You must add the following line in your plug-in Makefile:
+
+  PLUGIN_DEPENDENCIES:=<plug-ins list>
+
+  For instance, if you depend on Value, Pdg and Slicing, you must write:
+
+  PLUGIN_DEPENDENCIES:=Value Pdg Slicing
+
 ** Callgraph Access
   In Sodium, there were three different callgraph implementations:
   - module Callgraph
@@ -20,7 +35,7 @@ please refer to Changelog.
   Db.Semantic_callgraph to the new API, but you have to add the following line
   to your plug-in Makefile to get an access to the API:
 
-  PLUGIN_DEPENDENCIES:=Callgraph
+  PLUGIN_DEPENDENCIES:=Callgraph <possibly other dependencies>
 
 * Changes between Oxygen and Fluorine
 ** Removal of rooted_code_annotation
-- 
GitLab