diff options
Diffstat (limited to 'devel/why3/DEPENDS')
-rwxr-xr-x | devel/why3/DEPENDS | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/devel/why3/DEPENDS b/devel/why3/DEPENDS index 94bebccc1b..5212d475a7 100755 --- a/devel/why3/DEPENDS +++ b/devel/why3/DEPENDS @@ -4,4 +4,8 @@ depends gmp && depends mpfr && depends gtk+2 && depends pango && -depends ocaml +depends ocaml && +optional_depends sqlite3-ocaml \ + "--enable-bench" \ + "--disable-bench" \ + "support for batch processing" |