# dhcpd
/etc/dhcpd\.conf	--	system_u:object_r:dhcp_etc_t:s0
/etc/dhcp3(/.*)?		system_u:object_r:dhcp_etc_t:s0
/usr/sbin/dhcpd.*	--	system_u:object_r:dhcpd_exec_t:s0
/var/lib/dhcp([3d])?/dhcpd\.leases.* -- system_u:object_r:dhcpd_state_t:s0
/var/run/dhcpd\.pid	--	system_u:object_r:dhcpd_var_run_t:s0
ifdef(`dhcp_defined', `', `
/var/lib/dhcp([3d])?	-d	system_u:object_r:dhcp_state_t:s0
define(`dhcp_defined')
')

ifdef(`distro_gentoo', `
/etc/dhcp			-d	system_u:object_r:dhcp_etc_t:s0
/etc/dhcp(/.*)?			--	system_u:object_r:dhcp_etc_t:s0
/var/lib/dhcp			-d 	system_u:object_r:dhcp_state_t:s0
/var/lib/dhcpd(/.*)?			system_u:object_r:dhcpd_state_t:s0
/var/lib/dhcp/dhcpd\.leases.* 	--	system_u:object_r:dhcpd_state_t:s0
/var/run/dhcp/dhcpd\.pid     	--	system_u:object_r:dhcpd_var_run_t:s0

# for the chroot setup
/chroot/dhcp					-d	system_u:object_r:root_t:s0
/chroot/dhcp/dev				-d	system_u:object_r:device_t:s0
/chroot/dhcp/etc				-d	system_u:object_r:etc_t:s0
/chroot/dhcp/etc/dhcp               -d  system_u:object_r:dhcp_etc_t:s0
/chroot/dhcp/etc/dhcp(/.*)?         --  system_u:object_r:dhcp_etc_t:s0
/chroot/dhcp/usr/sbin/dhcpd         --  system_u:object_r:dhcpd_exec_t:s0
/chroot/dhcp/var				-d	system_u:object_r:var_t:s0
/chroot/dhcp/var/run				-d	system_u:object_r:var_run_t:s0
/chroot/dhcp/var/lib				-d	system_u:object_r:var_lib_t:s0
/chroot/dhcp/var/lib/dhcp			-d	system_u:object_r:dhcp_state_t:s0
/chroot/dhcp/var/lib/dhcp/dhcpd\.leases.*	--	system_u:object_r:dhcpd_state_t:s0
/chroot/dhcp/var/run/dhcp/dhcpd\.pid     	--	system_u:object_r:dhcpd_state_t:s0
')