From a154a824f96a010acc00bedede888dc894ace2e7 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 2 May 2019 09:43:19 +0200
Subject: [opam] [dune] Fix opam build by correctly setting prefix.

The OPAM build has been broken it seems since almost the beginning as
OPAM doesn't substitute variables in the almost undocumented
`build-env` form.

Packages built this way worked as Coq used a different method to
locate `coqlib`, however the value for `coqlib` was incorrect.

We set instead the right prefix using an explicit configure call.
---
 coq.opam | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/coq.opam b/coq.opam
index da3f1b518d..05b20e08b6 100644
--- a/coq.opam
+++ b/coq.opam
@@ -25,11 +25,8 @@ depends: [
   "num"
 ]
 
-build-env: [
-  [ COQ_CONFIGURE_PREFIX = "%{prefix}" ]
-]
-
 build: [
+  [ "./configure" "-prefix" prefix "-native-compiler" "no" ]
   [ "dune" "build" "@vodeps" ]
   [ "dune" "exec" "coq_dune" "_build/default/.vfiles.d" ]
   [ "dune" "build" "-p" name "-j" jobs ]
-- 
cgit v1.2.3