aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2021-03-07 21:22:36 +0100
committerTristan Gingold <tgingold@free.fr>2021-03-07 21:22:36 +0100
commit2036d713a73a91a8014d0d63201d795807e0c924 (patch)
treefc8e335071adc1fea7a05016f137eb53cf80b564
parent786ca17cea32431349608a37b48b608b0e60048f (diff)
downloadghdl-2036d713a73a91a8014d0d63201d795807e0c924.tar.gz
ghdl-2036d713a73a91a8014d0d63201d795807e0c924.tar.bz2
ghdl-2036d713a73a91a8014d0d63201d795807e0c924.zip
ghdlvpi.adb: use Directory_Separator.
-rw-r--r--src/ghdldrv/ghdlvpi.adb4
1 files changed, 3 insertions, 1 deletions
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.