# Template file for 'rpi-firmware'
pkgname=rpi-firmware
version=20130228
revision=1
short_desc="Firmware files for the Raspberry Pi"
maintainer="Juan RP <xtraeme@gmail.com>"
license="Propietary -- see /usr/share/licences/${pkgname}/"
homepage="https://github.com/raspberrypi/firmware"

noarch=yes
nofetch=yes
noextract=yes

conf_files="/boot/cmdline.txt /boot/config.txt"

do_fetch() {
	local url="git://github.com/raspberrypi/firmware.git"

	git clone --depth 1 $url ${pkgname}-${version}

	# Latest commit from 20130226
	cd ${pkgname}-${version}
	git checkout fea69f6e9e7c59fb292a026ff6aead6b17f21738
}

do_install() {
	rm -f boot/kernel.img

	vmkdir boot
	cp -R boot/* ${DESTDIR}/boot

	vmkdir opt/vc
	cp -R hardfp/opt/vc/{bin,include,lib,sbin,src,LICENCE} ${DESTDIR}/opt/vc

	vmkdir etc/ld.so.conf.d
	echo "/opt/vc/lib/" > ${DESTDIR}//etc/ld.so.conf.d/${pkgname}.conf

	vmkdir usr/share/licenses/${pkgname}
	vmove boot/COPYING.linux usr/share/licenses/${pkgname}
	vmove boot/LICENCE.broadcom usr/share/licenses/${pkgname}
	vmove opt/vc/LICENCE usr/share/licenses/${pkgname}

	# Install configuration files.
	vinstall ${FILESDIR}/cmdline.txt 644 boot
	vinstall ${FILESDIR}/config.txt 644 boot
}