diff --git a/opam/opam b/opam/opam index b4b37a5591cfa2df70110ca4c53eeeb3895f0f60..6d3db50de31befab490b0cc6e95720ab688dfbea 100644 --- a/opam/opam +++ b/opam/opam @@ -88,7 +88,7 @@ tags: [ build: [ ["autoconf"] {dev} - ["./configure"] + ["./configure" "--prefix" prefix] [make "config.sed"] ["dune" "build" "-j%{jobs}%" "--release" "@install"] [make "-C" "doc" "download"] {with-doc}