From: Stefan Schantl <stefan.schantl@ipfire.org>
Date: Fri, 6 Jan 2012 15:23:16 +0000 (+0100)
Subject: Remove module for ada.
X-Git-Tag: 001~22
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=32ac147810f0765b5c190dad18feb9e61d21514c;p=people%2Fstevee%2Fselinux-policy.git

Remove module for ada.
---

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)
-')