alarm/kodi-rbp: Provide kodi-dev (#1452)

This commit is contained in:
Daniel Albers 2017-05-07 20:50:16 +02:00 committed by Kevin Mihelich
parent 8187324602
commit e16c36deed

View file

@ -13,7 +13,7 @@ pkgbase=kodi-rbp
pkgname=('kodi-rbp' 'kodi-rbp-eventclients' 'kodi-rbp-tools-texturepacker' 'kodi-rbp-dev')
_codename=Krypton
pkgver=17.1
pkgrel=3
pkgrel=4
arch=('armv6h' 'armv7h')
url="http://kodi.tv"
license=('GPL2')
@ -173,6 +173,7 @@ package_kodi-rbp-tools-texturepacker() {
package_kodi-rbp-dev() {
pkgdesc="Kodi dev files (Raspberry Pi)"
depends=('kodi')
provides=('kodi-dev')
_components=('kodi-addon-dev'
'kodi-audio-dev'