1 files changed, 4 insertions, 0 deletions
diff --git a/coq.opam b/coq.opam
index 2ac98d8946..cd89057598 100644
--- a/coq.opam
+++ b/coq.opam
@@ -15,6 +15,10 @@ depends: [
   "camlp5"
 ]
 
+build-env: [
+  [ COQ_CONFIGURE_PREFIX = "%{prefix}" ]
+]
+
 build: [
   [ "dune" "build" "@vodeps" ]
   [ "dune" "exec" "coq_dune" "_build/default/.vfiles.d" ]