-
Notifications
You must be signed in to change notification settings - Fork 65
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Configurable lint settings for third party libraries #292
Comments
This is also related to #291, as this setting is likely to be different for first and third party libraries. |
Thinking about this further, another potential solution would be to have another severity level which could be set error-by-error which would be a warning for first party libraries, but ignored for third party libraries. Something like
|
Probably the first step is to move stuff that should be lint (instead of regular diagnostics) in the lint section. |
When using
vhdl_lang
for CI, it is not possible to set severities separately for different libraries.I have several third party libraries where there are some diagnostics detected, mostly
unnecessary_work_library
. I would like to disable these diagnostics for these third party libraries, but keep them active for our own files.Could we extend the
lint
section to have two levels of configuration, one for first party and one for third party libraries?The text was updated successfully, but these errors were encountered: