policy_module(ada,1.0.1)

########################################

#

# Declarations

#

type ada_t;

type ada_exec_t;

application_domain(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;

')