(replace module with the module filename)
checkmodule -m -o module.mod module.te semodule_package -o module.pp -m module.mod semodule -i module.pp