From f3b2f729984cf951b4ac6a2d5601ca960d0f7ceb Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Fri, 6 May 2022 09:47:46 +0200 Subject: [PATCH] [build] fix missing GUI plugins --- src/plugins/from/gui/dune | 2 ++ src/plugins/impact/gui/dune | 2 ++ src/plugins/slicing/gui/dune | 2 ++ src/plugins/wp/gui/dune | 2 ++ 4 files changed, 8 insertions(+) diff --git a/src/plugins/from/gui/dune b/src/plugins/from/gui/dune index 4559e1a2238..52592e12070 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 f18e52bc774..0e9b0fe6e10 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 422f662ef21..3dc828dac53 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 14eead34788..62f125b61f2 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))) -- GitLab