From e17e2824965cebb99d201377d33aa6d1a7bf958f Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Tue, 31 May 2022 15:23:14 +0200 Subject: [PATCH] [dune] Do not list modules by hand in some plugins --- src/plugins/loop_analysis/dune | 1 - src/plugins/metrics/gui/dune | 1 - src/plugins/report/dune | 1 - src/plugins/scope/dune | 1 - src/plugins/scope/gui/dune | 1 - 5 files changed, 5 deletions(-) diff --git a/src/plugins/loop_analysis/dune b/src/plugins/loop_analysis/dune index 0d6eae7f5c9..b7023aab471 100644 --- a/src/plugins/loop_analysis/dune +++ b/src/plugins/loop_analysis/dune @@ -11,7 +11,6 @@ ( library (name LoopAnalysis) (public_name frama-c-loop-analysis.core) - (modules options region_analysis_sig region_analysis region_analysis_stmt loop_analysis register LoopAnalysis) (private_modules region_analysis_sig region_analysis region_analysis_stmt loop_analysis register) (flags -open Frama_c_kernel :standard) (libraries frama-c.kernel frama-c-eva.core) diff --git a/src/plugins/metrics/gui/dune b/src/plugins/metrics/gui/dune index b13e820cbd9..b65c898ff9c 100644 --- a/src/plugins/metrics/gui/dune +++ b/src/plugins/metrics/gui/dune @@ -2,7 +2,6 @@ (name metrics_gui) (public_name frama-c-metrics.gui) (optional) - (modules metrics_gui_panels register_gui) (flags -open Frama_c_kernel -open Frama_c_gui -open Metrics :standard -w -9) (libraries frama-c.kernel frama-c.gui frama-c-metrics.core) ) diff --git a/src/plugins/report/dune b/src/plugins/report/dune index 36f21bbfc16..7603b287637 100644 --- a/src/plugins/report/dune +++ b/src/plugins/report/dune @@ -10,7 +10,6 @@ ( library (name report) (public_name frama-c-report.core) - (modules report_parameters scan dump csv register classify Report) (private_modules report_parameters scan dump csv register classify) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel) diff --git a/src/plugins/scope/dune b/src/plugins/scope/dune index bf6db70188c..32465234efb 100644 --- a/src/plugins/scope/dune +++ b/src/plugins/scope/dune @@ -12,7 +12,6 @@ (library (name scope) (public_name frama-c-scope.core) - (modules scope datascope zones defs) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-eva.core frama-c-inout.core) ) diff --git a/src/plugins/scope/gui/dune b/src/plugins/scope/gui/dune index 8c974f6cb78..0b3f412525b 100644 --- a/src/plugins/scope/gui/dune +++ b/src/plugins/scope/gui/dune @@ -13,7 +13,6 @@ (name scope_gui) (public_name frama-c-scope.gui) (optional) - (modules dpds_gui) (flags -open Frama_c_kernel -open Frama_c_gui -open Scope :standard -w -9) (libraries frama-c.kernel frama-c.gui frama-c-scope.core) ) -- GitLab