diff --git a/opam b/opam index fd1228c8..5f41d166 100644 --- a/opam +++ b/opam @@ -4,6 +4,7 @@ maintainer: "simon.cruanes@inria.fr" build: [ ["./configure" "--prefix" prefix "--disable-thread" "--disable-bench" "--disable-tests" "--%{lwt:enable}%-lwt" + "--%{base-bigarray:enable}%-bigarray" "--enable-docs" "--enable-misc"] [make "build"] ]