Require GNAT *.ali files to be installed read-only

GNAT requires *.ali files to be read-only or it will attempt to
recompile them when used.

diff --git a/policy.sgml b/policy.sgml
index 694339732e1e49a9f318f2dbea81a37ab81e73cd..3a7047578d69259c58394df4b47dbdd1b84f4e5d 100644 (file)
--- a/policy.sgml
+++ b/policy.sgml
@@ -5389,6 +5389,14 @@ Replaces: mail-transport-agent
        (<prgn>ld</prgn>) when compiling packages, as it will only look for
        <file>libgdbm.so</file> when compiling dynamically.
       </p>
+
+      <p>
+       If the package provides Ada Library Information
+       (<file>*.ali</file>) files for use with GNAT, these files must be
+       installed read-only (mode 0444) so that GNAT will not attempt to
+       recompile them.  This overrides the normal file mode requirements
+       given in <ref id="permissions-owners">.
+      </p>
       </sect>
 
       <sect id="sharedlibs-intradeps">
@@ -7946,7 +7954,7 @@ endscript
        </p>
       </sect>
 
-      <sect>
+      <sect id="permissions-owners">
        <heading>Permissions and owners</heading>
 
        <p>