diff options
Diffstat (limited to 'devel/frama-c/DEPENDS')
-rwxr-xr-x | devel/frama-c/DEPENDS | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/devel/frama-c/DEPENDS b/devel/frama-c/DEPENDS index f79ca40c87..18e7fb9fce 100755 --- a/devel/frama-c/DEPENDS +++ b/devel/frama-c/DEPENDS @@ -1,13 +1,17 @@ -depends libart_lgpl && +depends ocamlgraph && depends atk && depends cairo && +depends coq && depends fontconfig && depends freetype2 && depends glib2 && +depends graphviz && depends gtk+2 && +depends gtksourceview && +depends lablgtk2 && +depends libart_lgpl && depends libgnomecanvas && -depends pango && -depends graphviz && +depends ltl2ba && depends ocaml && -depends gtksourceview && -depends lablgtk2 +depends pango && +depends zarith |