Skip to content
Snippets Groups Projects
Commit 16c02dc2 authored by François Bobot's avatar François Bobot
Browse files

Fix dependency of Studia GUI to EVA GUI

parent 4c0c22ef
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/studia/dune
+ 1
− 1
View file @ 16c02dc2
......@@ -15,7 +15,7 @@
(optional)
(modules studia_gui)
(flags -open Frama_c_kernel -open Frama_c_gui -open Studia)
(libraries studia frama-c.kernel frama-c.gui)
(libraries studia frama-c.kernel frama-c.gui frama-c-eva.gui)
)
(plugin (name frama-c-plugins-studia) (libraries frama-c-studia.gui) (site (frama-c plugins_gui)))
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