From d7fd225a73484adb3f54746afab7e3cf14aaca16 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 30 Oct 2017 13:41:48 +0100 Subject: [PATCH] add `prefix` to opam file (close #11) --- opam | 1 + 1 file changed, 1 insertion(+) 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"] ]