Currently, we're filtering .svh files in the plugin core, not using an exclude in the SourceDirectorySet. If we used a default exclude, the user would be able to clear it (using excludes = []) and would be able to specify a .svh file as something that should be compiled directly.
The situation arises in legacy package, where there isn't much discipline.
Currently, we're filtering
.svh
files in the plugin core, not using anexclude
in theSourceDirectorySet
. If we used a defaultexclude
, the user would be able to clear it (usingexcludes = []
) and would be able to specify a.svh
file as something that should be compiled directly.The situation arises in legacy package, where there isn't much discipline.