policy_module(ada,1.0.0)

########################################
#
# Declarations
#

type ada_t;
type ada_exec_t;
domain_type(ada_t)
domain_entry_file(ada_t,ada_exec_t)

########################################
#
# Local policy
#

ifdef(`targeted_policy',`
	allow ada_t self:process { execstack execmem };
	unconfined_domain_noaudit(ada_t)
	role system_r types ada_t;
')