rpi4-eeprom/Pkgfile

   1 # Description: Raspberry Pi 4 boot EEPROM updater
   2 # URL: https://github.com/raspberrypi/rpi-eeprom
   3 # Maintainer: Tim Biermann, tbier at posteo dot de
   4 # Depends on: rpi4-userland
   5
   6 name=rpi4-eeprom
   7 version=20200117
   8 commit=0d7673bbb45de591de0f0ffa71eba2f75c0e50ea
   9 release=1
  10 source=(https://github.com/raspberrypi/rpi-eeprom/archive/$commit/$name-$version.tar.gz
  11   # stolen from ArchARM - thank you
  12   rpi-eeprom-update.patch)
  13
  14 build() {
  15   cd rpi-eeprom-$commit
  16   install -d -m 755 $PKG/usr/bin
  17   install -D -m 755 firmware/vl805 $PKG/usr/bin/vl805
  18   install -D -m 755 rpi-eeprom-config $PKG/usr/bin/rpi-eeprom-config
  19
  20   # Patch /opt/vc/bin into PATH in script due to weird install location of raspberrypi-firmware
  21   install -D -m 755 rpi-eeprom-update $PKG/usr/bin/rpi-eeprom-update
  22   patch $PKG/usr/bin/rpi-eeprom-update $SRC/rpi-eeprom-update.patch
  23
  24   # Copy all the firmware and files to the right place
  25   install -d -m 755 $PKG/lib/firmware/raspberrypi/bootloader
  26   cp -a firmware/* $PKG/lib/firmware/raspberrypi/bootloader
  27
  28   # Copy the override in place
  29   install -d -m 755 $PKG/etc/default
  30   install -D -m 644 rpi-eeprom-update-default $PKG/etc/default/rpi-eeprom-update
  31 }