diff --git a/src/plugins/aorai/dune b/src/plugins/aorai/dune index 7e245db7ba1feb5e9d9875a0ed1451b06df353d7..9e8608f15a64f2ce3f23017d58ea993570fba0f1 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 b0de73c157ac38308725f821e378f1eca01b1031..b62d113b162fb00e0ab037a7125d14bc40f0c512 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 fb51b784a4528e2eabcf676c9b15f5e180081f53..8e92d9212bd18f2270f791962043c9ba1c04ec60 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 d530f0bcb8f1726c744255f0cf2c70b0c166ec65..14b9dbea7cc71cb83956803de3fb275681a56dab 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 956d878e75787c9044203a03892c0f4f9ee94cda..15bca5e49896d8b1dd899c7075e88290db641cbf 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 a5a1ac7f9fadcf63e8131e7a8da9f78fe076c2f5..bd9049b7cd9366699ccfdc3478c66815907decd2 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 5e06c6f14a0bde81aa1cb7c6f8346ed481b45abb..734041fbd969ca0f0697b1d757282f93c417c8d7 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 a57cb9797c78e400840523e75cdd5e4c9196a56e..d4148f8d0329905ae137ff491ac8ba9370f18e73 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 c59ef37163ab5c66a6237c5ed30d3c0ec82ecc61..3212f4baf9fd96dd0fbdf7c80cfc16f38c08a37f 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 955b91f17dd270868765fa2045eee1534b734258..06cf37ed84a864c833bac4775e16614c996c26dc 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 dd284a034a52aeb524b38e6c19053990136d9a7e..30c04d80fc0064beb198fd24310eb1f7c66185d5 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 ea93d55a570a028f983c052af0415dbead9bdeb0..644ec0500d9e80493685cd86e31f2ece9bf3eab9 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 4ffb82d85df4b8568084bd75e3ffd190958565d3..12e3732b53fc3a8c73198f38a236d565b5d1ed9f 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 fbb15499c5f18b24410459bea1856b87711d6aa2..eb86f031617ef68e9b6c58132fe3c27fe15ed5b3 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 9acc1ad7315be8de68e3b05168ccfbc8ef3d2ad6..da173221feddee9605ea27c2754b1cc1f1329343 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 404f187597ab537fcb9f10836bec153ecbe8c5b8..1bf194811298679ce83f424e02a6317a17357fb9 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 be14e83634779ac1c1b62be643fc19d33c9f755c..c8e0c97fcef6f9a30770bf541c6704dedda8c9ec 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 70d3844140e0aba71c7b351a839023a900d22a07..cadaf87df3807fd54fc34235fdc696a5a4f801f3 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 34094b8c80a12bca043a51783e61eb3378df66a8..95c81426d4f4e3e8411ac1a494d109152f432b38 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 2a44b5cef19916d4d55b8984d31e53854ffd5995..91009d8a81921bc390fd8964c6fdd617c764c233 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 476ff8f68f4994c242b24d74c22dcd79dfd01821..682610a0cfc7d3466b57fd85de414dfe8958aa6a 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 4436bbec9c8acbde89bd60d21cf0777ccbe1c8b1..6552f49dd8296a0d44a17ce6735a7e46bbe426fe 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 644f74eb594adca605de82571b4c82cffa32b2dc..e507fff605efef3548c1a0e13b597448fe958ab6 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 4e7a6495c99073d6e992db6ceffc6115d4284c0f..ec9f50f8d7d965647b316e4cf09b9751f731b305 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 06063acb9b8bf4a4cb15a5f27c9d7bb69dd50654..99791a84c9048189c599b8b1dc5693f58aca746d 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 44250c5572dd23b99ffdb28196bfaf4fee161f0e..c70b49ef315c6f0a9f626c27f337f6701fddb353 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)