diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-03-10 18:19:18 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-03-10 18:19:23 +0100 |
| commit | 1f65e819edaa21227b7e428deca239beb9b38ce2 (patch) | |
| tree | f83738b0ab467af17b36d66092a57f639e8879b1 /src/ghdldrv/ghdlmain.ads | |
| parent | 947e9b02a14e82093ec995acb3bc51cc93c893bc (diff) | |
| download | ghdl-1f65e819edaa21227b7e428deca239beb9b38ce2.tar.gz ghdl-1f65e819edaa21227b7e428deca239beb9b38ce2.tar.bz2 ghdl-1f65e819edaa21227b7e428deca239beb9b38ce2.zip | |
synthesis: add option --vendor-library= for synthesis.
Diffstat (limited to 'src/ghdldrv/ghdlmain.ads')
| -rw-r--r-- | src/ghdldrv/ghdlmain.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlmain.ads b/src/ghdldrv/ghdlmain.ads index 24bd185be..b009d7a93 100644 --- a/src/ghdldrv/ghdlmain.ads +++ b/src/ghdldrv/ghdlmain.ads @@ -84,6 +84,12 @@ package Ghdlmain is -- Exec failed: either the program was not found, or failed. Exec_Error : exception; + -- Decode options from ARGS for command CMD after initializing CMD. + -- Return the index of the first non-option argument. + procedure Decode_Command_Options (Cmd : in out Command_Type'Class; + Args : Argument_List; + First_Arg : out Natural); + -- Decode command CMD_NAME and options from ARGS. -- Return the index of the first non-option argument. procedure Decode_Command_Options (Cmd_Name : String; |