diff options
Diffstat (limited to 'tags/b/bad-permissions-for-ali-file.tag')
| -rw-r--r-- | tags/b/bad-permissions-for-ali-file.tag | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tags/b/bad-permissions-for-ali-file.tag b/tags/b/bad-permissions-for-ali-file.tag new file mode 100644 index 0000000..97ca85e --- /dev/null +++ b/tags/b/bad-permissions-for-ali-file.tag @@ -0,0 +1,12 @@ +Tag: bad-permissions-for-ali-file +Severity: warning +Check: files/permissions +See-Also: debian-policy 8.4 +Explanation: Ada Library Information (*.ali) files are required to be read-only + (mode 0444) by GNAT. + . + If at least one user can write the *.ali file, GNAT considers whether + or not to recompile the corresponding source file. Such recompilation + would fail because normal users don't have write permission on the + files. Moreover, such recompilation would defeat the purpose of + library packages, which provide *.a and *.so libraries to link against). |