[ports/raspberrypi4-arm.git] / rpi4-userland / Pkgfile

# Description: Source code for ARM side libraries for interfacing to Raspberry Pi GPU.
# URL: https://github.com/raspberrypi/userland
# Maintainer: Tim Biermann, tbier at posteo dot de
# Depends on: cmake

name=rpi4-userland
version=20191218
release=1
commit=06bc6daa02137ca72b7a2104afad81e82a44de17
source=(https://github.com/raspberrypi/userland/archive/$commit/$name-$version.tar.gz)

build() {
  ## check if we want to build for aarch64 or armv7l
  ## default to 32bit version
  _64=OFF
  [[ $(uname -m) == aarch64 ]] && _64=ON

  mkdir build
  cd build
    cmake -DCMAKE_BUILD_TYPE=Release \
    -DARM64=${_64} \
    ../userland-$commit

  make
  make DESTDIR=$PKG install

  find $PKG \(\
    -iname "*readme*" \
    -o -iname "*license*" \
    \) -exec rm -fr '{}' \+
}
Commit	Line	Data
4f0479fa TB	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	}