diff options
| author | alee <alee@c9f7a03b-bd48-0410-a16d-cbbf54688b0b> | 2009-01-19 20:34:44 +0000 |
|---|---|---|
| committer | alee <alee@c9f7a03b-bd48-0410-a16d-cbbf54688b0b> | 2009-01-19 20:34:44 +0000 |
| commit | f51d34a9e9d8211c4f7c0a555dd1f04531107069 (patch) | |
| tree | 3451200bd2b753f31df36e2fc7aacf8a7d6e7585 /pki/base/selinux | |
| parent | a7a4de840df56e7024d986e8f7b7214ce4e45ce0 (diff) | |
| download | pki-f51d34a9e9d8211c4f7c0a555dd1f04531107069.tar.gz pki-f51d34a9e9d8211c4f7c0a555dd1f04531107069.tar.xz pki-f51d34a9e9d8211c4f7c0a555dd1f04531107069.zip | |
Some more selinux build setup
git-svn-id: svn+ssh://svn.fedorahosted.org/svn/pki/trunk@171 c9f7a03b-bd48-0410-a16d-cbbf54688b0b
Diffstat (limited to 'pki/base/selinux')
| -rw-r--r-- | pki/base/selinux/src/Makefile | 18 | ||||
| -rw-r--r-- | pki/base/selinux/src/pki.te | 2 |
2 files changed, 19 insertions, 1 deletions
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; |