aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv/ghdlmain.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-08-14 10:51:37 +0200
committerTristan Gingold <tgingold@free.fr>2019-08-14 10:51:37 +0200
commit8010f3f7d6f2488a7bcc8f2c2c7a0ca3fcceb3d4 (patch)
tree7b45b8ef2587d1b764ad2303628f22d00d8a228a /src/ghdldrv/ghdlmain.ads
parenta7556a720e6ad04b7cb16a75727ad61c83cd5d3d (diff)
downloadghdl-8010f3f7d6f2488a7bcc8f2c2c7a0ca3fcceb3d4.tar.gz
ghdl-8010f3f7d6f2488a7bcc8f2c2c7a0ca3fcceb3d4.tar.bz2
ghdl-8010f3f7d6f2488a7bcc8f2c2c7a0ca3fcceb3d4.zip
ghdlsynth: add command to get libghdl paths.
Diffstat (limited to 'src/ghdldrv/ghdlmain.ads')
-rw-r--r--src/ghdldrv/ghdlmain.ads5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlmain.ads b/src/ghdldrv/ghdlmain.ads
index 894c6aad4..24bd185be 100644
--- a/src/ghdldrv/ghdlmain.ads
+++ b/src/ghdldrv/ghdlmain.ads
@@ -99,6 +99,11 @@ package Ghdlmain is
type String_Cst_Acc is access constant String;
Version_String : String_Cst_Acc := null;
+ -- On windows, convert PATH to a unix path, so that a unix shell will
+ -- convert it correctly to a windows path.
+ -- Return PATH on non-windows platforms.
+ function Convert_Path_To_Unix (Path : String) return String;
+
-- Registers all commands in this package.
procedure Register_Commands;
end Ghdlmain;