diff options
Diffstat (limited to 'src/ghdldrv/ghdlmain.ads')
-rw-r--r-- | src/ghdldrv/ghdlmain.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlmain.ads b/src/ghdldrv/ghdlmain.ads index b9958ec61..54c9ebfef 100644 --- a/src/ghdldrv/ghdlmain.ads +++ b/src/ghdldrv/ghdlmain.ads @@ -68,6 +68,13 @@ package Ghdlmain is -- Exec failed: either the program was not found, or failed. Exec_Error : exception; + -- Decode command CMD_NAME and options from ARGS. + -- Return the index of the first non-option argument. + procedure Decode_Command_Options (Cmd_Name : String; + Cmd : out Command_Acc; + Args : Argument_List; + First_Arg : out Natural); + procedure Main; -- Additionnal one-line message displayed by the --version command, |