# We have a conf and classes directory, add to BBPATH
BBPATH .= ":${LAYERDIR}"

# We have recipes-* directories, add to BBFILES
BBFILES += "${LAYERDIR}/recipes-*/*/*.bb \
	${LAYERDIR}/recipes-*/*/*.bbappend"

BBFILE_COLLECTIONS += "{{=layer_name}}"
BBFILE_PATTERN_{{=layer_name}} = "^${LAYERDIR}/"
BBFILE_PRIORITY_{{=layer_name}} = "{{=layer_priority}}"
