diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-01-01 12:30:20 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-01-01 12:30:20 +0100 |
| commit | f171b7a717b3cb576a36a87bdd72eb8169e24f91 (patch) | |
| tree | f71063a3db82fb868d179369f296c76d5a636e46 /src/ghdldrv/ghdllocal.ads | |
| parent | 02180694190081362a013e96ab18e22d49600600 (diff) | |
| download | ghdl-f171b7a717b3cb576a36a87bdd72eb8169e24f91.tar.gz ghdl-f171b7a717b3cb576a36a87bdd72eb8169e24f91.tar.bz2 ghdl-f171b7a717b3cb576a36a87bdd72eb8169e24f91.zip | |
vhdl: handle -gGEN=VAL for --synth. Fix #1062
Diffstat (limited to 'src/ghdldrv/ghdllocal.ads')
| -rw-r--r-- | src/ghdldrv/ghdllocal.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads index ffaceabf9..042c51d87 100644 --- a/src/ghdldrv/ghdllocal.ads +++ b/src/ghdldrv/ghdllocal.ads @@ -148,5 +148,13 @@ package Ghdllocal is Prim_Id : out Name_Id; Sec_Id : out Name_Id); + -- Report true iff OPT has the form '-gGEN=VAL'. Used to distingish from + -- debugging (like '-g' or '-ggdb' or '-g2') options. + function Is_Generic_Override_Option (Opt : String) return Boolean; + + -- Handle generic override option OPT. Return Option_Err if the generic + -- name is incorrect. + function Decode_Generic_Override_Option (Opt : String) return Option_State; + procedure Register_Commands; end Ghdllocal; |