cd tutorials/libvsync-locks/microbench/
mkdir deps
cd deps
git clone <libvsync-repo-url> libvsync
# TODO git checkout <tag>
cd ../../../..cd tutorials/libvsync-locks
./configure.sh
cd ../..cd tutorials/libvsync-locks
. ./venv/bin/activate
./campaign_locks.py