# Template file for 'rpi-firmware' pkgname=rpi-firmware version=20130219 revision=1 short_desc="Firmware files for the Raspberry Pi" maintainer="Juan RP " license="Propietary -- see /usr/share/licences/${pkgname}/" homepage="https://github.com/raspberrypi/firmware" noarch=yes nofetch=yes noextract=yes do_fetch() { local url="git://github.com/raspberrypi/firmware.git" git clone --depth 1 $url ${pkgname}-${version} # Latest commit from 20130219 cd ${pkgname}-${version} git checkout 4697c2b07a19f85f297abaf876d6edd1b1085bee } 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} }