From 0335af57f036fb5995e1ff170f796e8a40b85aee Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 19 Jul 2022 09:32:50 +0200
Subject: [PATCH] [opam] consider prefix
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index b4b37a5591c..6d3db50de31 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}
--
GitLab