From 81e4c7152da598c1750e7881b197a6fcf54e818d Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 10 Sep 2018 11:37:09 +0200
Subject: [dune] [configure] Allow to set prefix using environment variable.

This is a hack to enable correct OPAM building, the medium-term plan
is to avoid having to set a prefix at configure time but instead using
a set of rules to locate the Coq library.

We use `(env_var ...)` in a dependency rule, which a feature of Dune 1.2
---
 coq.opam | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'coq.opam')

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" ]
-- 
cgit v1.2.3