# Template file for 'rpi-firmware' pkgname=rpi-firmware version=20130923 revision=1 _githash="546a928" short_desc="Firmware files for the Raspberry Pi (git ${_githash})" maintainer="Juan RP " license="Propietary -- see /usr/share/licences/${pkgname}/" homepage="https://github.com/raspberrypi/firmware" do_fetch() { local url="git://github.com/raspberrypi/firmware.git" git clone --depth 1 $url ${pkgname}-${version} cd ${pkgname}-${version} git checkout ${_githash} } do_install() { rm -f boot/kernel.img rm -f boot/kernel_emergency.img rm -f boot/COPYING.linux 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} mv ${DESTDIR}/boot/LICENCE.broadcom ${DESTDIR}/usr/share/licenses/${pkgname} mv ${DESTDIR}/opt/vc/LICENCE ${DESTDIR}/usr/share/licenses/${pkgname} # Install configuration files. vinstall ${FILESDIR}/cmdline.txt 644 boot vinstall ${FILESDIR}/config.txt 644 boot } rpi-firmware_package() { conf_files="/boot/cmdline.txt /boot/config.txt" noarch="yes" pkg_install() { vmove all } }