From f51d34a9e9d8211c4f7c0a555dd1f04531107069 Mon Sep 17 00:00:00 2001
From: alee <alee@c9f7a03b-bd48-0410-a16d-cbbf54688b0b>
Date: Mon, 19 Jan 2009 20:34:44 +0000
Subject: Some more selinux build setup

git-svn-id: svn+ssh://svn.fedorahosted.org/svn/pki/trunk@171 c9f7a03b-bd48-0410-a16d-cbbf54688b0b
---
 pki/base/selinux/src/Makefile | 18 ++++++++++++++++++
 pki/base/selinux/src/pki.te   |  2 +-
 2 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100644 pki/base/selinux/src/Makefile

(limited to 'pki/base/selinux')

diff --git a/pki/base/selinux/src/Makefile b/pki/base/selinux/src/Makefile
new file mode 100644
index 000000000..201a448a9
--- /dev/null
+++ b/pki/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
+
diff --git a/pki/base/selinux/src/pki.te b/pki/base/selinux/src/pki.te
index 3219cbed1..71fdc7528 100644
--- a/pki/base/selinux/src/pki.te
+++ b/pki/base/selinux/src/pki.te
@@ -1,4 +1,4 @@
-policy_module(pki,1.0.0)
+policy_module(pki,1.0.1)
 
 attribute pki_ca_config;
 attribute pki_ca_executable;
-- 
cgit