From 97491adae7fc5d9744ba9b16adb56835067a6b8b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 19 Dec 2014 13:40:29 +0100 Subject: [PATCH] trigger bigarray in opam --- opam | 1 + 1 file changed, 1 insertion(+) 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"] ]