Remove module for ada.

diff --git a/policy/modules/apps/ada.fc b/policy/modules/apps/ada.fc
deleted file mode 100644 (file)
index e802ed5..0000000
--- a/policy/modules/apps/ada.fc
+++ /dev/null
@@ -1,7 +0,0 @@
-#
-# /usr
-#
-/usr/bin/gnatbind      --      gen_context(system_u:object_r:ada_exec_t,s0)
-/usr/bin/gnatls                --      gen_context(system_u:object_r:ada_exec_t,s0)
-/usr/bin/gnatmake      --      gen_context(system_u:object_r:ada_exec_t,s0)
-/usr/libexec/gcc(/.*)?/gnat1 -- gen_context(system_u:object_r:ada_exec_t,s0)

diff --git a/policy/modules/apps/ada.if b/policy/modules/apps/ada.if
deleted file mode 100644 (file)
index 43ba21d..0000000
--- a/policy/modules/apps/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(`
-               type ada_t;
-       ')
-
-       ada_domtrans($1)
-       role $2 types ada_t;
-')

diff --git a/policy/modules/apps/ada.te b/policy/modules/apps/ada.te
deleted file mode 100644 (file)
index 057d8b1..0000000
--- a/policy/modules/apps/ada.te
+++ /dev/null
@@ -1,24 +0,0 @@
-policy_module(ada, 1.4.0)
-
-########################################
-#
-# Declarations
-#
-
-type ada_t;
-type ada_exec_t;
-application_domain(ada_t, ada_exec_t)
-role system_r types ada_t;
-
-########################################
-#
-# Local policy
-#
-
-allow ada_t self:process { execstack execmem };
-
-userdom_use_inherited_user_terminals(ada_t)
-
-optional_policy(`
-       unconfined_domain(ada_t)
-')