2018-10-16 16:17:24 +00:00
|
|
|
# Reference: <https://postmarketos.org/devicepkg>
|
2020-01-10 10:32:56 +00:00
|
|
|
# Contributor: Rogier Oudshoorn <rogier.oudshoorn@xs4all.nl>
|
2018-10-16 16:17:24 +00:00
|
|
|
pkgname="device-samsung-serranodsdd"
|
|
|
|
|
pkgdesc="Samsung Galaxy S4 Mini (dual sim)"
|
|
|
|
|
pkgver=0.1
|
2020-01-28 14:40:18 +00:00
|
|
|
pkgrel=3
|
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
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2020-03-07 16:10:22 +00:00
|
|
|
sha512sums="4bec512d9cc1712488e99e94d107a0a6a55a1e59b7a6c3925a9c4336caf2a85fe3d2cf3692f9eb03f29bb6e2e21326cd02a334e79848de4f28f587ab68dffaae deviceinfo"
|
