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

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

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