diff --git a/src/plugins/from/gui/dune b/src/plugins/from/gui/dune
index 4559e1a2238c6b9fce9989dea7350ce75b398099..52592e12070eb9a8c0175acfb59dad4afa1887d2 100644
--- a/src/plugins/from/gui/dune
+++ b/src/plugins/from/gui/dune
@@ -5,3 +5,5 @@
   (flags -open Frama_c_kernel -open Frama_c_gui :standard -w -9)
   (libraries frama-c.kernel frama-c.gui frama-c-from.core)
 )
+
+(plugin (optional) (name from-gui) (libraries frama-c-from.gui) (site (frama-c plugins_gui)))
diff --git a/src/plugins/impact/gui/dune b/src/plugins/impact/gui/dune
index f18e52bc774937bf4059e9376bff1c2f862c1766..0e9b0fe6e1017c1856221bbcdd7136ad4d5ea233 100644
--- a/src/plugins/impact/gui/dune
+++ b/src/plugins/impact/gui/dune
@@ -5,3 +5,5 @@
   (flags -open Frama_c_kernel -open Frama_c_gui -open Impact :standard -w -9)
   (libraries frama-c.kernel frama-c.gui frama-c-impact.core frama-c-slicing.core frama-c-callgraph.core)
 )
+
+(plugin (optional) (name impact-gui) (libraries frama-c-impact.gui) (site (frama-c plugins_gui)))
diff --git a/src/plugins/slicing/gui/dune b/src/plugins/slicing/gui/dune
index 422f662ef21aa38f8bc4507969d5d612408e6c05..3dc828dac534ab0deb882c73127b40f22acb755f 100644
--- a/src/plugins/slicing/gui/dune
+++ b/src/plugins/slicing/gui/dune
@@ -5,3 +5,5 @@
   (flags -open Frama_c_kernel -open Frama_c_gui -open Slicing :standard -w -9)
   (libraries frama-c.kernel frama-c.gui frama-c-slicing.core)
 )
+
+(plugin (optional) (name slicing-gui) (libraries frama-c-slicing.gui) (site (frama-c plugins_gui)))
diff --git a/src/plugins/wp/gui/dune b/src/plugins/wp/gui/dune
index 14eead34788b988ac92665b4390202b02e51e43c..62f125b61f2253031b9d832bde7c90997812d9e4 100644
--- a/src/plugins/wp/gui/dune
+++ b/src/plugins/wp/gui/dune
@@ -5,3 +5,5 @@
   (flags -open Frama_c_kernel -open Frama_c_gui -open Wp :standard -w -9)
   (libraries frama-c-wp.core frama-c.kernel frama-c.gui why3 qed)
 )
+
+(plugin (optional) (name wp-gui) (libraries frama-c-wp.gui) (site (frama-c plugins_gui)))