diff options
Diffstat (limited to 'devel/why/DEPENDS')
-rwxr-xr-x | devel/why/DEPENDS | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/devel/why/DEPENDS b/devel/why/DEPENDS new file mode 100755 index 0000000000..40d199c3b3 --- /dev/null +++ b/devel/why/DEPENDS @@ -0,0 +1,25 @@ +depends atk && +depends cairo && +depends camlidl && +depends fontconfig && +depends frama-c && +depends freetype2 && +depends gdk-pixbuf2 && +depends glib2 && +depends gmp && +depends mlgmpidl && +depends mpfr && +depends ocaml && +depends pango && +optional_depends lablgtk2 \ + "" \ + "" \ + "for a graphical user interface" && +optional_depends coq \ + "" \ + "" \ + "to use coq" && +optional_depends alt-ergo \ + "" \ + "" \ + "use alt-ergo" |