diff --git a/opam b/opam index 9f3cdf6..7a37f04 100644 --- a/opam +++ b/opam @@ -8,6 +8,7 @@ build: [ ["./configure" "--disable-docs" "--%{delimcc:enable}%-invert" "--%{base-bigarray:enable}%-bigarray" + "--prefix" "%{prefix}%" ] [make "build"] ]