| 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 | } |