From 32ac147810f0765b5c190dad18feb9e61d21514c Mon Sep 17 00:00:00 2001
From: Stefan Schantl <stefan.schantl@ipfire.org>
Date: Fri, 6 Jan 2012 16:23:16 +0100
Subject: [PATCH] Remove module for ada.

---
 policy/modules/apps/ada.fc |  7 ------
 policy/modules/apps/ada.if | 45 --------------------------------------
 policy/modules/apps/ada.te | 24 --------------------
 3 files changed, 76 deletions(-)
 delete mode 100644 policy/modules/apps/ada.fc
 delete mode 100644 policy/modules/apps/ada.if
 delete mode 100644 policy/modules/apps/ada.te

diff --git a/policy/modules/apps/ada.fc b/policy/modules/apps/ada.fc
deleted file mode 100644
index e802ed56..00000000
--- 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
index 43ba21dc..00000000
--- 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
index 057d8b1d..00000000
--- 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)
-')
-- 
2.47.3