diff options
| author | Dāvis Mosāns | 2022-08-16 05:22:52 +0300 |
|---|---|---|
| committer | Dāvis Mosāns | 2022-08-16 06:16:22 +0300 |
| commit | 9a114f9c690307d836bc8f27e77ae17fb8059c0c (patch) | |
| tree | efca7b5c3642f3e84c4e265d03a5aee643fe6e53 /PKGBUILD | |
| download | aur-9a114f9c690307d836bc8f27e77ae17fb8059c0c.tar.gz | |
First release
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..46a871cb8a65 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,43 @@ +pkgname=mdev-cli +pkgver=0.1.0.0 +pkgrel=1 +epoch=0 +pkgdesc='A user-configurable utility for GPU vendor drivers enabling the registration of arbitrary mdev types with the VFIO-Mediated Device framework.' +arch=('x86_64') +url='https://github.com/Arc-Compute/Mdev-GPU' +license=('GPL') +depends=('ghc-libs' 'haskell-path' 'haskell-optparse-applicative' 'haskell-bimap' 'haskell-fixed-vector' 'haskell-yamlparse-applicative' 'haskell-ioctl') +makedepends=('ghc') +source=("git+https://github.com/Arc-Compute/Mdev-GPU.git#commit=30d28c3bb11a038246e9401f5ffa25bd7d68c607") +sha256sums=('SKIP') + +build() { + cd "$srcdir/Mdev-GPU" + + runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ + --prefix=/usr --docdir=/usr/share/doc/mdev --datasubdir=haskell-mdev --enable-tests \ + --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \ + --ghc-option=-optl-Wl\,-z\,relro\,-z\,now \ + --ghc-option='-pie' + + runhaskell Setup build + runhaskell Setup register --gen-script + runhaskell Setup unregister --gen-script + sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh + sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh +} + +package() { + cd "$srcdir/Mdev-GPU" + + install -D -m744 register.sh "$pkgdir"/usr/share/haskell/register/$pkgname.sh + install -D -m744 unregister.sh "$pkgdir"/usr/share/haskell/unregister/$pkgname.sh + runhaskell Setup copy --destdir="$pkgdir" + install -D -m644 LICENSE -t "$pkgdir"/usr/share/licenses/$pkgname/ + rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE + + cp -R "$srcdir/Mdev-GPU/etc" "$pkgdir/" + mv "$pkgdir/etc/systemd" "$pkgdir/usr/lib/" + sed -i 's/\/usr\/bin\/sudo //' "$pkgdir/usr/lib/systemd/system/mdev-post.service" +} + |