diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-03-01 21:05:02 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-03-02 07:37:58 +0100 |
commit | f4cfdde434e6b8a22acaacac9e129c7dbd600c58 (patch) | |
tree | 4fdf0b83ffb4a5ae451b4346d1ad33ba193b3638 /src/errorout.ads | |
parent | a15bec5d6628a05cbfa5f78a46f48ac55e8be52a (diff) | |
download | ghdl-f4cfdde434e6b8a22acaacac9e129c7dbd600c58.tar.gz ghdl-f4cfdde434e6b8a22acaacac9e129c7dbd600c58.tar.bz2 ghdl-f4cfdde434e6b8a22acaacac9e129c7dbd600c58.zip |
Remove --ieee=mentor and build of mentor libraries.
Diffstat (limited to 'src/errorout.ads')
-rw-r--r-- | src/errorout.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/errorout.ads b/src/errorout.ads index 763a8344b..08d0c3fcd 100644 --- a/src/errorout.ads +++ b/src/errorout.ads @@ -36,6 +36,9 @@ package Errorout is -- Design unit redefines another design unit. Warnid_Library, + -- Option is deprecated. + Warnid_Deprecated_Option, + -- Missing Xref in pretty print. Warnid_Missing_Xref, @@ -302,6 +305,7 @@ private (Warnid_Library | Warnid_Binding | Warnid_Port | Warnid_Shared | Warnid_Runtime_Error | Warnid_Pure | Warnid_Specs | Warnid_Hide | Warnid_Pragma | Warnid_Analyze_Assert | Warnid_Attribute + | Warnid_Deprecated_Option | Msgid_Warning => (Enabled => True, Error => False), others => (Enabled => False, Error => False)); |