diff options
Diffstat (limited to 'src/ghdldrv/ghdlmain.ads')
| -rw-r--r-- | src/ghdldrv/ghdlmain.ads | 5 |
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; |