From dc5dbc992727fb807fa56763f8f71d79f598fd6a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 1 Oct 2018 05:19:36 +0200
Subject: [configure] Use absolute path for prefix.

---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ml b/configure.ml
index 7cc58a3506..f884a7de5c 100644
--- a/configure.ml
+++ b/configure.ml
@@ -1038,7 +1038,7 @@ let do_one_instdir (var,msg,uservalue,selfcontainedlayout,unixlayout,locallayout
           try Some (Sys.getenv "COQ_CONFIGURE_PREFIX")
           with
           | Not_found when !prefs.interactive -> None
-          | Not_found -> Some "_build/install/default"
+          | Not_found -> Some Sys.(getcwd () ^ "/../install/default")
         end
       | p -> p
     in match uservalue, env_prefix with
-- 
cgit v1.2.3