ALT Linux Team development discussions
 help / color / mirror / Atom feed
* [devel] (gcc-gnat) repocop-lintian: bad-permissions-for-ali-file
@ 2008-05-06  7:31 Igor Vlasenko
  2008-05-06  9:21 ` Dmitry V. Levin
  2008-05-06 15:18 ` Alexey Tourbin
  0 siblings, 2 replies; 8+ messages in thread
From: Igor Vlasenko @ 2008-05-06  7:31 UTC (permalink / raw)
  To: devel; +Cc: ldv

Господа, есть ругань на наши gcc-gnat.

Tag: bad-permissions-for-ali-file
Type: warning
Info: 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).

gcc3.4-gnat-3.4.5-alt7.x86_64
gcc4.1-gnat-4.1.2-alt2.x86_64
i386-mingw32msvc-gcc-gnat-3.4.5-alt2.x86_64

-- 

Dr. Igor Vlasenko
--------------------
Topology Department
Institute of Math
Kiev, Ukraine



^ permalink raw reply	[flat|nested] 8+ messages in thread

end of thread, other threads:[~2008-05-06 20:59 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-05-06  7:31 [devel] (gcc-gnat) repocop-lintian: bad-permissions-for-ali-file Igor Vlasenko
2008-05-06  9:21 ` Dmitry V. Levin
2008-05-06  9:32   ` Igor Vlasenko
2008-05-06 15:18 ` Alexey Tourbin
2008-05-06 18:08   ` Mikhail Gusarov
2008-05-06 18:49     ` Alexey Tourbin
2008-05-06 20:04       ` Mikhail Gusarov
2008-05-06 20:59         ` Dmitry V. Levin

ALT Linux Team development discussions

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
		devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
	public-inbox-index devel

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://lore.altlinux.org/org.altlinux.lists.devel


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git