#!/bin/bash
set -ev

brew install check
brew install userspace-rcu
brew install valgrind
brew install graphviz

pip install --user sphinx
pip install --user breathe
pip install --user sphinx_rtd_theme