summaryrefslogtreecommitdiffstats
path: root/devel/why3/DEPENDS
diff options
context:
space:
mode:
Diffstat (limited to 'devel/why3/DEPENDS')
-rwxr-xr-xdevel/why3/DEPENDS6
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"