diff options
author | Daniel Bermond | 2018-06-08 18:50:32 +0000 |
---|---|---|
committer | Daniel Bermond | 2018-06-08 18:50:32 +0000 |
commit | 40e8c0e730dde27a79b835094f484e6b84594380 (patch) | |
tree | 566ab36950ec97c25286cb8d5b8a544a7160f55b | |
parent | 68962931a609db8548ffba74b1d0545b435862d7 (diff) | |
download | aur-40e8c0e730dde27a79b835094f484e6b84594380.tar.gz |
Add options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 3 |
2 files changed, 5 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = intel-media-stack-bin pkgdesc = Tools and libraries for developing media solutions on Intel products. Includes MediaSDK, Media Driver, libva and libdrm. pkgver = 2018.Q2.1 - pkgrel = 1 + pkgrel = 2 url = https://github.com/Intel-Media-SDK/MediaSDK/ install = intel-media-stack-bin.install arch = x86_64 @@ -13,6 +13,8 @@ pkgbase = intel-media-stack-bin conflicts = intel-media-sdk-git conflicts = intel-media-server-studio noextract = intel-media-stack-bin-2018.Q2.1.tar.gz + options = !strip + options = staticlibs backup = etc/profile.d/intel-mediasdk-devel.sh backup = etc/profile.d/intel-mediasdk-devel.csh backup = etc/profile.d/intel-mediasdk.sh @@ -2,7 +2,7 @@ pkgname=intel-media-stack-bin pkgver=2018.Q2.1 -pkgrel=1 +pkgrel=2 pkgdesc='Tools and libraries for developing media solutions on Intel products. Includes MediaSDK, Media Driver, libva and libdrm.' arch=('x86_64') url='https://github.com/Intel-Media-SDK/MediaSDK/' @@ -13,6 +13,7 @@ backup=('etc/profile.d/intel-mediasdk-devel.sh' 'etc/profile.d/intel-mediasdk-devel.csh' 'etc/profile.d/intel-mediasdk.sh' 'etc/profile.d/intel-mediasdk.csh') +options=('!strip' 'staticlibs') install="${pkgname}.install" source=("${pkgname}-${pkgver}.tar.gz"::"https://github.com/Intel-Media-SDK/MediaSDK/releases/download/MediaSDK-${pkgver/.Q/-Q}/MediaStack.tar.gz" 'LICENSE'::"https://raw.githubusercontent.com/Intel-Media-SDK/MediaSDK/MediaSDK-${pkgver/.Q/-Q}/LICENSE") |