Re: permissions on installed files

[Nicolas Boulenguez <nicolas.boulenguez@free.fr>]

Thanks for the clarification.

--- debian-ada-policy.texi	3669488cae0a11f224d85db22aad4d24c8706f63
+++ debian-ada-policy.texi	6353069aff59dac72430ab87e003c4d672ce6ee5
@@ -1625,6 +1625,13 @@ @subsection Ada Library Information file
 Rule: The @file{*.ali} files SHALL have read-only permissions for all
 users (i.e. @code{r--r--r--} or 0444).
 
+Rationale: During compilation of a program against the library as
+described later in this document, object files are missing because they
+are lumped together into the shared and static libraries. Gnatmake
+understands the @code{externally_Built} attribute in library projects,
+but with both other methods, it insists on recompiling every object
+whose ALI file has permissions different from @code{r--r--r--}.
+
 Rule: The @file{*.ali} files SHALL reside in
 @file{/usr/lib/ada/adalib/LIBRARY}.