From 0e0080c816f1c785e3f8a5a481199e0d84bfea52 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 5 Jul 2021 07:43:29 +0200
Subject: ghdllocal.adb: do not set Exec_Prefix if already set (by libghdl)

---
 src/ghdldrv/ghdllocal.adb | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb
index 92a7e1c7e..5ed6d3431 100644
--- a/src/ghdldrv/ghdllocal.adb
+++ b/src/ghdldrv/ghdllocal.adb
@@ -413,7 +413,10 @@ package body Ghdllocal is
       end if;
 
       --  Compute Exec_Prefix.
-      Set_Exec_Prefix_From_Program_Name;
+      if Exec_Prefix = null then
+         --  Only if not already set.
+         Set_Exec_Prefix_From_Program_Name;
+      end if;
 
       --  Set prefix path.
       --  If not set by command line, try environment variable.
-- 
cgit v1.2.3