From 2036d713a73a91a8014d0d63201d795807e0c924 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 7 Mar 2021 21:22:36 +0100
Subject: ghdlvpi.adb: use Directory_Separator.

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

(limited to 'src')

diff --git a/src/ghdldrv/ghdlvpi.adb b/src/ghdldrv/ghdlvpi.adb
index d2b2656cd..8bf4dae4d 100644
--- a/src/ghdldrv/ghdlvpi.adb
+++ b/src/ghdldrv/ghdlvpi.adb
@@ -37,7 +37,9 @@ package body Ghdlvpi is
       --  Compute install path
       Ghdllocal.Set_Exec_Prefix_From_Program_Name;
 
-      return Ghdllocal.Exec_Prefix.all & Directory_Separator & "include/ghdl";
+      return Ghdllocal.Exec_Prefix.all
+        & Directory_Separator & "include"
+        & Directory_Separator & "ghdl";
    end Get_Vpi_Include_Dir;
 
    --  Return the lib directory.
-- 
cgit v1.2.3