[Dune] make plugins optional

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

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)

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)

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)

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)

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))

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)