From 99af4a71e9feeca64c0e5c1a09f544756439a86b Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Tue, 21 Jun 2022 17:02:34 +0200 Subject: [PATCH] [Dune] make plugins optional --- src/plugins/aorai/dune | 1 + src/plugins/api-generator/dune | 1 + src/plugins/callgraph/dune | 1 + src/plugins/constant_propagation/dune | 1 + src/plugins/dive/dune | 1 + src/plugins/e-acsl/src/dune | 1 + src/plugins/impact/dune | 1 + src/plugins/inout/dune | 1 + src/plugins/instantiate/dune | 1 + src/plugins/loop_analysis/dune | 1 + src/plugins/metrics/dune | 1 + src/plugins/nonterm/dune | 1 + src/plugins/obfuscator/dune | 1 + src/plugins/occurrence/dune | 1 + src/plugins/postdominators/dune | 1 + src/plugins/qed/dune | 1 + src/plugins/report/dune | 1 + src/plugins/rte/dune | 1 + src/plugins/scope/dune | 1 + src/plugins/security_slicing/dune | 1 + src/plugins/server/dune | 1 + src/plugins/slicing/dune | 1 + src/plugins/sparecode/dune | 1 + src/plugins/studia/dune | 1 + src/plugins/users/dune | 1 + src/plugins/variadic/dune | 1 + 26 files changed, 26 insertions(+) diff --git a/src/plugins/aorai/dune b/src/plugins/aorai/dune index 7e245db7ba1..9e8608f15a6 100644 --- a/src/plugins/aorai/dune +++ b/src/plugins/aorai/dune @@ -35,6 +35,7 @@ ( library (name aorai) + (optional) (public_name frama-c-aorai.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel diff --git a/src/plugins/api-generator/dune b/src/plugins/api-generator/dune index b0de73c157a..b62d113b162 100644 --- a/src/plugins/api-generator/dune +++ b/src/plugins/api-generator/dune @@ -22,6 +22,7 @@ ( library (name api_generator) + (optional) (public_name frama-c-api-generator.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-server.core) diff --git a/src/plugins/callgraph/dune b/src/plugins/callgraph/dune index fb51b784a45..8e92d9212bd 100644 --- a/src/plugins/callgraph/dune +++ b/src/plugins/callgraph/dune @@ -32,6 +32,7 @@ ( library (name callgraph) + (optional) (public_name frama-c-callgraph.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-eva.core) diff --git a/src/plugins/constant_propagation/dune b/src/plugins/constant_propagation/dune index d530f0bcb8f..14b9dbea7cc 100644 --- a/src/plugins/constant_propagation/dune +++ b/src/plugins/constant_propagation/dune @@ -32,6 +32,7 @@ ( library (name Constant_Propagation) + (optional) (public_name frama-c-constant_propagation.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-eva.core) diff --git a/src/plugins/dive/dune b/src/plugins/dive/dune index 956d878e757..15bca5e4989 100644 --- a/src/plugins/dive/dune +++ b/src/plugins/dive/dune @@ -33,6 +33,7 @@ ( library (name dive) + (optional) (public_name frama-c-dive.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-studia.core frama-c-server.core) diff --git a/src/plugins/e-acsl/src/dune b/src/plugins/e-acsl/src/dune index a5a1ac7f9fa..bd9049b7cd9 100644 --- a/src/plugins/e-acsl/src/dune +++ b/src/plugins/e-acsl/src/dune @@ -31,6 +31,7 @@ (library (name E_ACSL) + (optional) (public_name frama-c-e-acsl.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel)) diff --git a/src/plugins/impact/dune b/src/plugins/impact/dune index 5e06c6f14a0..734041fbd96 100644 --- a/src/plugins/impact/dune +++ b/src/plugins/impact/dune @@ -35,6 +35,7 @@ ( library (name impact) + (optional) (public_name frama-c-impact.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-slicing.core frama-c-callgraph.core frama-c-inout.core) diff --git a/src/plugins/inout/dune b/src/plugins/inout/dune index a57cb9797c7..d4148f8d032 100644 --- a/src/plugins/inout/dune +++ b/src/plugins/inout/dune @@ -34,6 +34,7 @@ ( library (name inout) + (optional) (public_name frama-c-inout.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-callgraph.core frama-c-eva.core frama-c-from.core) diff --git a/src/plugins/instantiate/dune b/src/plugins/instantiate/dune index c59ef37163a..3212f4baf9f 100644 --- a/src/plugins/instantiate/dune +++ b/src/plugins/instantiate/dune @@ -31,6 +31,7 @@ ( library (name instantiate) + (optional) (public_name frama-c-instantiate.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel) diff --git a/src/plugins/loop_analysis/dune b/src/plugins/loop_analysis/dune index 955b91f17dd..06cf37ed84a 100644 --- a/src/plugins/loop_analysis/dune +++ b/src/plugins/loop_analysis/dune @@ -32,6 +32,7 @@ ( library (name LoopAnalysis) + (optional) (public_name frama-c-loop-analysis.core) (private_modules region_analysis_sig region_analysis region_analysis_stmt loop_analysis register) (flags -open Frama_c_kernel :standard) diff --git a/src/plugins/metrics/dune b/src/plugins/metrics/dune index dd284a034a5..30c04d80fc0 100644 --- a/src/plugins/metrics/dune +++ b/src/plugins/metrics/dune @@ -33,6 +33,7 @@ ( library (name metrics) + (optional) (public_name frama-c-metrics.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-eva.core frama-c-server.core) diff --git a/src/plugins/nonterm/dune b/src/plugins/nonterm/dune index ea93d55a570..644ec0500d9 100644 --- a/src/plugins/nonterm/dune +++ b/src/plugins/nonterm/dune @@ -32,6 +32,7 @@ ( library (name nonterm) + (optional) (public_name frama-c-nonterm.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-eva.core) diff --git a/src/plugins/obfuscator/dune b/src/plugins/obfuscator/dune index 4ffb82d85df..12e3732b53f 100644 --- a/src/plugins/obfuscator/dune +++ b/src/plugins/obfuscator/dune @@ -31,6 +31,7 @@ ( library (name obfuscator) + (optional) (public_name frama-c-obfuscator.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel) diff --git a/src/plugins/occurrence/dune b/src/plugins/occurrence/dune index fbb15499c5f..eb86f031617 100644 --- a/src/plugins/occurrence/dune +++ b/src/plugins/occurrence/dune @@ -32,6 +32,7 @@ ( library (name occurrence) + (optional) (public_name frama-c-occurrence.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-eva.core) diff --git a/src/plugins/postdominators/dune b/src/plugins/postdominators/dune index 9acc1ad7315..da173221fed 100644 --- a/src/plugins/postdominators/dune +++ b/src/plugins/postdominators/dune @@ -32,6 +32,7 @@ ( library (name postdominators) + (optional) (public_name frama-c-postdominators.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-eva.core) diff --git a/src/plugins/qed/dune b/src/plugins/qed/dune index 404f187597a..1bf19481129 100644 --- a/src/plugins/qed/dune +++ b/src/plugins/qed/dune @@ -32,6 +32,7 @@ (library (name qed) + (optional) (public_name qed) (flags (-open Frama_c_kernel :standard -w -9)) (libraries frama-c.kernel zarith) diff --git a/src/plugins/report/dune b/src/plugins/report/dune index be14e836347..c8e0c97fcef 100644 --- a/src/plugins/report/dune +++ b/src/plugins/report/dune @@ -31,6 +31,7 @@ ( library (name report) + (optional) (public_name frama-c-report.core) (private_modules report_parameters scan dump csv register classify) (flags -open Frama_c_kernel :standard -w -9) diff --git a/src/plugins/rte/dune b/src/plugins/rte/dune index 70d3844140e..cadaf87df38 100644 --- a/src/plugins/rte/dune +++ b/src/plugins/rte/dune @@ -31,6 +31,7 @@ (library (name RteGen) + (optional) (public_name frama-c-rtegen.core) (private_modules options generator rte visit register) (flags -open Frama_c_kernel :standard -w -9) diff --git a/src/plugins/scope/dune b/src/plugins/scope/dune index 34094b8c80a..95c81426d4f 100644 --- a/src/plugins/scope/dune +++ b/src/plugins/scope/dune @@ -33,6 +33,7 @@ (library (name scope) + (optional) (public_name frama-c-scope.core) (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/security_slicing/dune b/src/plugins/security_slicing/dune index 2a44b5cef19..91009d8a819 100644 --- a/src/plugins/security_slicing/dune +++ b/src/plugins/security_slicing/dune @@ -32,6 +32,7 @@ ( library (name security_slicing) + (optional) (public_name frama-c-security_slicing.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-eva.core) diff --git a/src/plugins/server/dune b/src/plugins/server/dune index 476ff8f68f4..682610a0cfc 100644 --- a/src/plugins/server/dune +++ b/src/plugins/server/dune @@ -32,6 +32,7 @@ ( library (name server) + (optional) (public_name frama-c-server.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel diff --git a/src/plugins/slicing/dune b/src/plugins/slicing/dune index 4436bbec9c8..6552f49dd82 100644 --- a/src/plugins/slicing/dune +++ b/src/plugins/slicing/dune @@ -33,6 +33,7 @@ ( library (name slicing) + (optional) (public_name frama-c-slicing.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel frama-c-pdg.core frama-c-sparecode.core) diff --git a/src/plugins/sparecode/dune b/src/plugins/sparecode/dune index 644f74eb594..e507fff605e 100644 --- a/src/plugins/sparecode/dune +++ b/src/plugins/sparecode/dune @@ -35,6 +35,7 @@ (library (name Sparecode) + (optional) (public_name frama-c-sparecode.core) (private_modules sparecode_params globs spare_marks transform register) (flags :standard -open Frama_c_kernel) diff --git a/src/plugins/studia/dune b/src/plugins/studia/dune index 4e7a6495c99..ec9f50f8d7d 100644 --- a/src/plugins/studia/dune +++ b/src/plugins/studia/dune @@ -32,6 +32,7 @@ ( library (name studia) + (optional) (public_name frama-c-studia.core) (flags -open Frama_c_kernel :standard) (libraries frama-c.kernel frama-c-eva.core) diff --git a/src/plugins/users/dune b/src/plugins/users/dune index 06063acb9b8..99791a84c90 100644 --- a/src/plugins/users/dune +++ b/src/plugins/users/dune @@ -32,6 +32,7 @@ (library (name Users) + (optional) (public_name frama-c-users.core) (flags -open Frama_c_kernel :standard) (libraries frama-c.kernel frama-c-callgraph.core) diff --git a/src/plugins/variadic/dune b/src/plugins/variadic/dune index 44250c5572d..c70b49ef315 100644 --- a/src/plugins/variadic/dune +++ b/src/plugins/variadic/dune @@ -31,6 +31,7 @@ ( library (name variadic) + (optional) (public_name frama-c-variadic.core) (flags -open Frama_c_kernel :standard -w -9) (libraries frama-c.kernel) -- GitLab