## GNAT Ada95 compiler
########################################
##
## Execute the ada program in the ada domain.
##
##
##
## Domain allowed access.
##
##
#
interface(`ada_domtrans',`
ifdef(`targeted_policy',`
gen_require(`
type ada_t, ada_exec_t;
')
corecmd_search_bin($1)
domtrans_pattern($1, ada_exec_t, ada_t)
',`
refpolicywarn(`$0($1) has no effect in strict policy.')
')
')