On Fri, 2013-03-29 at 09:45 -0400, m.roth@xxxxxxxxx wrote: > Was it you who mentioned selinux-policy-devel? At any rate, it's not > installed. That was me. I suggest you install it: yum install selinux-policy-devel Then you can build your source policy module using the enclosed makefile: make -f /usr/share/selinux/devel/Makefile $MODULENAME.pp -- selinux mailing list selinux@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/selinux