diff options
author | davidovski <david@davidovski.xyz> | 2022-06-15 20:02:02 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-06-15 20:02:02 +0100 |
commit | d2567bfbdf0e9fa6db0a6ed1534831ec859a3e03 (patch) | |
tree | 684a17eebf446aa1adab1097616f1882c8d51568 /repo/userspace-rcu | |
parent | d1fc3393cca72e8e432f827f7624e38734fad6dc (diff) |
added deps for qemu
Diffstat (limited to 'repo/userspace-rcu')
-rw-r--r-- | repo/userspace-rcu/userspace-rcu.xibuild | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/repo/userspace-rcu/userspace-rcu.xibuild b/repo/userspace-rcu/userspace-rcu.xibuild new file mode 100644 index 0000000..6f73da6 --- /dev/null +++ b/repo/userspace-rcu/userspace-rcu.xibuild @@ -0,0 +1,28 @@ +#!/bin/sh + +NAME="userspace-rcu" +DESC="Userspace RCU (read-copy-update) library" + +MAKEDEPS="bash perl" + +PKG_VER=0.12.2 +SOURCE="https://lttng.org/files/urcu/userspace-rcu-$PKG_VER.tar.bz2" + +build() { + ./configure \ + --prefix=/usr \ + --sysconfdir=/etc \ + --mandir=/usr/share/man \ + --infodir=/usr/share/info \ + --localstatedir=/var + make V=1 +} + +check() { + make check +} + +package() { + make DESTDIR="$PKG_DEST" install + install -Dm644 LICENSE "$PKG_DEST"/usr/share/licenses/userspace-rcu/LICENSE +} |