2018-10-22 10:07:54 +00:00
|
|
|
# Reference: <https://postmarketos.org/devicepkg>
|
2020-04-25 09:51:42 +00:00
|
|
|
pkgname=device-wingtech-wt88047
|
2018-10-22 10:07:54 +00:00
|
|
|
pkgdesc="Xiaomi Redmi 2"
|
|
|
|
|
pkgver=0.1
|
2020-05-17 13:33:49 +00:00
|
|
|
pkgrel=5
|
2018-10-22 10:07:54 +00:00
|
|
|
url="https://postmarketos.org"
|
|
|
|
|
license="MIT"
|
2018-11-07 06:45:58 +00:00
|
|
|
arch="armhf"
|
|
|
|
|
options="!check !archcheck"
|
2018-10-22 10:07:54 +00:00
|
|
|
depends="postmarketos-base linux-wingtech-wt88047 mkbootimg mesa-dri-swrast msm-fb-refresher"
|
|
|
|
|
makedepends="devicepkg-dev"
|
|
|
|
|
source="deviceinfo"
|
|
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
devicepkg_build $startdir $pkgname
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
package() {
|
|
|
|
|
devicepkg_package $startdir $pkgname
|
|
|
|
|
}
|
|
|
|
|
|
2020-05-17 13:33:49 +00:00
|
|
|
sha512sums="bf52b7811382b95f170667ba4c7d64b096b9cd536301cff55d20a606b73520cc4eace745e5d0804557dcb8f2f0e60295876b069752227630c31ac6cd7e4e449d deviceinfo"
|
