diff --git a/opam b/opam index a5fe8d32..b394c531 100644 --- a/opam +++ b/opam @@ -4,11 +4,16 @@ version: "dev" author: "Simon Cruanes" maintainer: "simon.cruanes@inria.fr" build: [ - ["./configure" "--prefix" prefix "--disable-thread" "--disable-bench" - "--disable-tests" "--%{lwt:enable}%-lwt" + ["./configure" + "--prefix" prefix + "--disable-thread" + "--disable-bench" + "--disable-tests" + "--%{lwt:enable}%-lwt" "--%{base-bigarray:enable}%-bigarray" "--%{sequence:enable}%-advanced" - "--enable-docs" "--enable-misc"] + "--enable-docs" + "--enable-misc"] [make "build"] ] install: [