diff options
Diffstat (limited to 'base/selinux/src/Makefile')
| -rw-r--r-- | base/selinux/src/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/base/selinux/src/Makefile b/base/selinux/src/Makefile new file mode 100644 index 000000000..201a448a9 --- /dev/null +++ b/base/selinux/src/Makefile @@ -0,0 +1,18 @@ +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 development tools (selinux-policy-devel)" && exit 1; fi + $(MAKE) -f $(POLICY_MAKEFILE) || exit 1; + +clean: + rm -rf tmp + rm pki.pp + +install: all + install -d $(POLICY_DIR) + install -m 644 pki.pp $(POLICY_DIR) + +load: + /usr/sbin/semodule -i pki.pp + |