On Tue, 2006-03-28 at 13:22 -0500, Stephen Smalley wrote:
yum install checkpolicy
It contains both checkpolicy (compile monolithic policies) and checkmodule (compile modular policies).
Cool, that solved it.
Still, it might be a good idea to mention in the FAQ that the checkpolicy package needs to be installed, since it's not installed by default.