revision-id: 7734e151742b73523416ffa7ca4b6485611ff782 () parent(s): 2536ec0ab4f0355a0b5b60a66c1e12c58f4ad1ec author: Sergei Petrunia committer: Sergei Petrunia timestamp: 2020-03-15 23:35:33 +0300 message: setup-urcu.sh - script to set up userspace-rcu --- setup-server/setup-urcu.sh | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/setup-server/setup-urcu.sh b/setup-server/setup-urcu.sh new file mode 100644 index 0000000..f1b04ae --- /dev/null +++ b/setup-server/setup-urcu.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +sudo ln -s /home/ubuntu /home/psergey + +cd /home/ubuntu +git clone https://github.com/urcu/userspace-rcu.git +cd userspace-rcu +sudo apt-get install automake +./bootstrap +./configure --prefix=/home/ubuntu/userspace-rcu-dist +make -j10 +make install +