[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090902+beryllium+dfsg-6-16-gdbbc991

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 69e7facacb7700312fd4060eaaf55422646626ac
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Mon Apr 26 20:36:11 2010 +0200

    Fix permissions for installed .c and .h files

diff --git a/debian/rules b/debian/rules
index c8130c9..595ed9a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -27,6 +27,8 @@ override_dh_auto_build:
 
 override_dh_auto_install:
 	$(MAKE) prefix=$(FRAMA_DIR)/usr FRAMAC_DATADIR=$(FRAMA_DIR)/usr/share/frama-c install
+	# Fix permission of .c and .h files (they don't have to be executable)
+	find debian/ -name "*.c" -or -name "*.h" -exec chmod a-x '{}' \;
 	cp debian/icons/frama-c.svg $(CURDIR)/debian/frama-c/usr/share/icons/hicolor/scalable/apps/
 	cp debian/icons/frama-c.xpm $(CURDIR)/debian/frama-c/usr/share/pixmaps/
 	cp debian/frama-c.desktop $(CURDIR)/debian/frama-c/usr/share/applications/

-- 
frama-c packaging