#! /usr/bin/make -f

linux-libre linux-libre-headers: linux-libre.stamp

linux-libre.config.stamp:
	cd src && \
		make oldconfig
	touch linux-libre.config.stamp

linux-libre.build.stamp: linux-libre.config.stamp
	# TODO: This "uImage" target is hardcoded for the "rcstereo" platform, which
	# uses DAS U-Boot.
	cd src && \
		make uImage
	touch linux-libre.build.stamp

linux-libre.install.stamp: linux-libre.build.stamp
	# TODO: Again, this is hardcoded for "rcstereo".
	install -D -m 644 "src/arch/$${ARCH}/boot/uImage" dest/boot/UIMAGE
	cp src/.config "dest/boot/config-$${OH_PKGVER%%-*}"
	cp src/System.map "dest/boot/System.map-$${OH_PKGVER%%-*}"
	touch linux-libre.install.stamp

linux-libre-headers.install.stamp:
	cd src && \
		make headers_check && \
		make INSTALL_HDR_PATH="$$(pwd)/../dest/usr" headers_install
	touch linux-libre-headers.install.stamp

linux-libre.stamp: linux-libre.install.stamp linux-libre-headers.install.stamp
	oh-installfiles linux-libre linux-libre-headers
	oh-installdocs linux-libre
	oh-gencontrol linux-libre linux-libre-headers
	oh-buildopk linux-libre linux-libre-headers
	touch linux-libre.stamp

.SILENT: linux-libre.config.stamp linux-libre.build.stamp \
         linux-libre.install.stamp linux-libre-headers.install.stamp \
         linux-libre.stamp