diff options
Diffstat (limited to 'selinux/Makefile')
| -rw-r--r-- | selinux/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/selinux/Makefile b/selinux/Makefile new file mode 100644 index 00000000..bc8e6a73 --- /dev/null +++ b/selinux/Makefile @@ -0,0 +1,17 @@ +POLICY_MAKEFILE = /usr/share/selinux/devel/Makefile +POLICY_DIR = $(DESTDIR)/usr/share/selinux/targeted + +all: + if [ ! -e $(POLICY_MAKEFILE) ]; then echo "You need to install the SELinux policy development tools (selinux-policy)" && exit 1; fi + + $(MAKE) -f $(POLICY_MAKEFILE) $@ || exit 1; + +clean: + $(MAKE) -f $(POLICY_MAKEFILE) $@ || exit 1; + +install: all + install -d $(POLICY_DIR) + install -m 644 dirsrv.pp $(POLICY_DIR) + +load: + /usr/sbin/semodule -i dirsrv.pp |