Chris PeBenito c655ec4
## <summary>GNAT Ada95 compiler</summary>
Chris PeBenito c655ec4
Chris PeBenito c655ec4
########################################
Chris PeBenito c655ec4
## <summary>
Chris PeBenito c655ec4
##	Execute the ada program in the ada domain.
Chris PeBenito c655ec4
## </summary>
Chris PeBenito c655ec4
## <param name="domain">
Chris PeBenito c655ec4
##	<summary>
Chris PeBenito c655ec4
##	Domain allowed access.
Chris PeBenito c655ec4
##	</summary>
Chris PeBenito c655ec4
## </param>
Chris PeBenito c655ec4
#
Chris PeBenito c655ec4
interface(`ada_domtrans',`
Chris PeBenito c655ec4
	ifdef(`targeted_policy',`
Chris PeBenito c655ec4
		gen_require(`
Chris PeBenito c655ec4
			type ada_t, ada_exec_t;
Chris PeBenito c655ec4
		')
Chris PeBenito c655ec4
Chris PeBenito c655ec4
		corecmd_search_bin($1)
Chris PeBenito c655ec4
		domain_auto_trans($1, ada_exec_t, ada_t)
Chris PeBenito c655ec4
Chris PeBenito c655ec4
		allow $1 ada_t:fd use;
Chris PeBenito c655ec4
		allow ada_t $1:fd use;
Chris PeBenito c655ec4
		allow ada_t $1:fifo_file rw_file_perms;
Chris PeBenito c655ec4
		allow ada_t $1:process sigchld;
Chris PeBenito c655ec4
	',`
Chris PeBenito c655ec4
		errprint(`Warning: $0($1) has no effect in strict policy.'__endline__)
Chris PeBenito c655ec4
	')
Chris PeBenito c655ec4
')