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=20191217
   8 release=1
   9 commit=42ec119e03eb8dffc7c83e2ac0e665e333abbef6
  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=ON \
  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 }