Skip to content
Snippets Groups Projects
Commit 771893a5 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[dune] rebased on master

parent e04471a3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
src/plugins/wp/dune
+ 1
− 1
View file @ 771893a5
...@@ -39,7 +39,7 @@ ...@@ -39,7 +39,7 @@
(optional) (optional)
(public_name frama-c-wp.core) (public_name frama-c-wp.core)
(flags (-open Frama_c_kernel :standard -w -9)) (flags (-open Frama_c_kernel :standard -w -9))
(libraries frama-c.kernel frama-c-rtegen.core why3 qed zarith ocamlgraph) (libraries frama-c.kernel frama-c-rtegen.core why3 qed server zarith ocamlgraph)
) )
(plugin (optional) (name wp) (libraries frama-c-wp.core) (site (frama-c plugins))) (plugin (optional) (name wp) (libraries frama-c-wp.core) (site (frama-c plugins)))
......
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