diff options
Diffstat (limited to 'devel/why3/DEPENDS')
-rwxr-xr-x | devel/why3/DEPENDS | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/why3/DEPENDS b/devel/why3/DEPENDS new file mode 100755 index 0000000000..5212d475a7 --- /dev/null +++ b/devel/why3/DEPENDS @@ -0,0 +1,11 @@ +depends gdk-pixbuf2 && +depends glib2 && +depends gmp && +depends mpfr && +depends gtk+2 && +depends pango && +depends ocaml && +optional_depends sqlite3-ocaml \ + "--enable-bench" \ + "--disable-bench" \ + "support for batch processing" |