2018-10-22 10:07:54 +00:00
|
|
|
# Reference: <https://postmarketos.org/devicepkg>
|
|
|
|
|
pkgname="device-wingtech-wt88047"
|
|
|
|
|
pkgdesc="Xiaomi Redmi 2"
|
|
|
|
|
pkgver=0.1
|
2018-12-25 19:25:32 +00:00
|
|
|
pkgrel=1
|
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
|
|
|
|
|
}
|
|
|
|
|
|
2018-12-25 19:25:32 +00:00
|
|
|
sha512sums="39cf9fabc50ebc92493d582e87e65af426d8f3dc897d166ec4248333c33e2b7bc977687b1adcd3c1b0d2f169893f60fea5c2b5decfe333892659b346c4c6266d deviceinfo"
|
