From f3c832f9ac8070458cc31c4e476f02e12b606bf9 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 13 Sep 2022 17:36:45 +0200
Subject: [PATCH] [eva] enable apron
---
src/plugins/eva/dune | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/src/plugins/eva/dune b/src/plugins/eva/dune
index 5a4d1269347..c3903d4cfd5 100644
--- a/src/plugins/eva/dune
+++ b/src/plugins/eva/dune
@@ -84,13 +84,17 @@
(library
(name apron_domain)
(optional)
- (public_name frama-c-eva.apron)
+ (public_name frama-c-eva.apron.core)
(flags -open Frama_c_kernel -open Eva__Private :standard -w -9)
(libraries
frama-c.kernel frama-c-eva.core
apron.octMPQ apron.boxMPQ apron.polkaMPQ apron.apron)))
-;(plugin (optional) (name eva-apron) (libraries frama-c-eva.apron) (site (frama-c plugins)))
+(plugin
+ (name eva.apron)
+ (optional)
+ (libraries frama-c-eva.apron.core)
+ (site (frama-c plugins)))
(rule
(targets Eva.ml Eva.mli)
--
GitLab