diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/Makefile.common | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/misc/Makefile.common b/misc/Makefile.common index 703ea412a..0e503b2b4 100644 --- a/misc/Makefile.common +++ b/misc/Makefile.common @@ -8,7 +8,17 @@ install-data-hook: @if test $$MAKELEVEL -le 4 ; then \ if test -x "$(top_srcdir)/post-install.sh" ; then \ $(top_srcdir)/post-install.sh ; \ - fi \ + fi; \ + fi; \ + if test -x /usr/bin/chcon ; then \ + list='$(lib_LTLIBRARIES)'; \ + if test -n "$$list" ; then \ + for p in $$list; do \ + p="`echo $$p | sed -e 's/\.la$$/\.so/g;s|^.*/||'`"; \ + echo " chcon -t texrel_shlib_t $(DESTDIR)$(libdir)/$$p"; \ + chcon -t texrel_shlib_t $(DESTDIR)$(libdir)/$$p; \ + done; \ + fi; \ fi pass1: |