diff options
Diffstat (limited to 'policy/modules/contrib/ada.if')
| -rw-r--r-- | policy/modules/contrib/ada.if | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/policy/modules/contrib/ada.if b/policy/modules/contrib/ada.if deleted file mode 100644 index e514e8a90..000000000 --- a/policy/modules/contrib/ada.if +++ /dev/null @@ -1,45 +0,0 @@ -## <summary>GNAT Ada95 compiler.</summary> - -######################################## -## <summary> -## Execute the ada program in the ada domain. -## </summary> -## <param name="domain"> -## <summary> -## Domain allowed to transition. -## </summary> -## </param> -# -interface(`ada_domtrans',` - gen_require(` - type ada_t, ada_exec_t; - ') - - corecmd_search_bin($1) - domtrans_pattern($1, ada_exec_t, ada_t) -') - -######################################## -## <summary> -## Execute ada in the ada domain, and -## allow the specified role the ada domain. -## </summary> -## <param name="domain"> -## <summary> -## Domain allowed to transition. -## </summary> -## </param> -## <param name="role"> -## <summary> -## Role allowed access. -## </summary> -## </param> -# -interface(`ada_run',` - gen_require(` - attribute_role ada_roles; - ') - - ada_domtrans($1) - roleattribute $2 ada_roles; -') |