2018-10-16 16:17:24 +00:00
|
|
|
# Reference: <https://postmarketos.org/devicepkg>
|
2020-04-25 09:51:42 +00:00
|
|
|
pkgname=device-samsung-serranodsdd
|
2018-10-16 16:17:24 +00:00
|
|
|
pkgdesc="Samsung Galaxy S4 Mini (dual sim)"
|
2024-04-02 12:52:52 +00:00
|
|
|
pkgver=1
|
|
|
|
|
pkgrel=0
|
2018-10-16 16:17:24 +00:00
|
|
|
url="https://postmarketos.org"
|
|
|
|
|
license="MIT"
|
2018-11-07 06:45:58 +00:00
|
|
|
arch="armhf"
|
|
|
|
|
options="!check !archcheck"
|
2018-10-16 16:17:24 +00:00
|
|
|
depends="postmarketos-base linux-samsung-serranodsdd mkbootimg"
|
|
|
|
|
makedepends="devicepkg-dev"
|
|
|
|
|
source="deviceinfo"
|
|
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
devicepkg_build $startdir $pkgname
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
package() {
|
|
|
|
|
devicepkg_package $startdir $pkgname
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2021-09-18 17:06:03 +00:00
|
|
|
sha512sums="
|
|
|
|
|
ee1a1445aa2abcff2f471bd052337917f5509192e20e70053f22cf93304986412ab37787e56b76666fc49a6c15d0db5120527f26dbeeab1885051c11c3872d18 deviceinfo
|
|
|
|
|
"
|
