Commit f3c832f9 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[eva] enable apron

parent 73055372
......@@ -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)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment