1 # Description: Source code for ARM side libraries for interfacing to Raspberry Pi GPU.
2 # URL: https://github.com/raspberrypi/userland
9 commit=42ec119e03eb8dffc7c83e2ac0e665e333abbef6
10 source=(https://github.com/raspberrypi/userland/archive/$commit/$name-$version.tar.gz)
15 cmake -DCMAKE_BUILD_TYPE=Release \
19 make DESTDIR=$PKG install
22 -o -iname "*license*" \
23 \) -exec rm -fr '{}' \+