rpi3-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:
   4 # Depends on: cmake
   5
   6 name=rpi3-userland
   7 version=20190925
   8 release=1
   9 commit=13b33c8ee52521ac3c804ffa6d8e8b8a8cd30697
  10 source=(https://github.com/raspberrypi/userland/archive/$commit/$name-$version.tar.gz)
  11
  12 build() {
  13   mkdir build
  14   cd build
  15   cmake -DCMAKE_BUILD_TYPE=Release \
  16     -DARM64=aarch64 \
  17     ../userland-$commit
  18   make
  19   make DESTDIR=$PKG install
  20   find $PKG \(\
  21     -iname "*readme*" \
  22     -o -iname "*license*" \
  23     \) -exec rm -fr '{}' \+
  24 }