git clone https://github.com/igraph/igraph.git tool/lib/referl_user/igraph/lib
CPWD=$(pwd)
cd tool/lib/referl_user/igraph/lib
git checkout tags/0.9.10
mkdir build
cd build
cmake ..
cmake --build .
cmake --install .
cd $CPWD
make -C tool/lib/referl_user/igraph