install libunwind for model-checking

[simgrid.git] / buildtools / pipol / rc.ubuntu

diff --git a/buildtools/pipol/rc.ubuntu b/buildtools/pipol/rc.ubuntu
index c5bf5ce..3b54a11 100644 (file)
--- a/buildtools/pipol/rc.ubuntu
+++ b/buildtools/pipol/rc.ubuntu
@@ -16,6 +16,7 @@ sudo apt-get -y -qq install libpcre3-dev
 sudo apt-get -y -qq install f2c
 sudo apt-get -y -qq install valgrind
 sudo apt-get -y -qq install git-core
+sudo apt-get -y -qq install libunwind7-dev
 
 which_svn=`which svn`          #svn necessary
 which_gcc=`which gcc`          #gcc gcc necessary