rpi4-userland/Pkgfile

   1 # Description: Source code for ARM side libraries for interfacing to Raspberry Pi GPU.
   2 # URL: https://github.com/raspberrypi/userland
   3 # Maintainer: Tim Biermann, tbier at posteo dot de
   4 # Depends on: cmake
   5
   6 name=rpi4-userland
   7 version=20191218
   8 release=1
   9 commit=06bc6daa02137ca72b7a2104afad81e82a44de17
  10 source=(https://github.com/raspberrypi/userland/archive/$commit/$name-$version.tar.gz)
  11
  12 build() {
  13   ## check if we want to build for aarch64 or armv7l
  14   ## default to 32bit version
  15   _64=OFF
  16   [[ $(uname -m) == aarch64 ]] && _64=ON
  17
  18   mkdir build
  19   cd build
  20     cmake -DCMAKE_BUILD_TYPE=Release \
  21     -DARM64=${_64} \
  22     ../userland-$commit
  23
  24   make
  25   make DESTDIR=$PKG install
  26
  27   find $PKG \(\
  28     -iname "*readme*" \
  29     -o -iname "*license*" \
  30     \) -exec rm -fr '{}' \+
  31 }