From 07600620680b5a6444cf7742e2aa481fb2c41474 Mon Sep 17 00:00:00 2001
From: Russ Allbery <rra@debian.org>
Date: Mon, 19 Jul 2010 09:33:06 -0700
Subject: [PATCH] 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.
---
 policy.sgml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/policy.sgml b/policy.sgml
index 6943397..3a70475 100644
--- 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>
-- 
2.39.5