install libunwind for model-checking

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

diff --git a/buildtools/pipol/rc.ubuntu b/buildtools/pipol/rc.ubuntu
index 9065a177a2b412739193daf4cfb495350015db77..3b54a1187b8de1f00c86a7e251a41e9f0cc91d83 100644 (file)
--- a/buildtools/pipol/rc.ubuntu
+++ b/buildtools/pipol/rc.ubuntu
@@ -2,7 +2,6 @@
 
 sudo apt-get update
 
-sudo apt-get -y -qq install subversion
 sudo apt-get -y -qq install gcc
 sudo apt-get -y -qq install g++
 sudo apt-get -y -qq install make
@@ -17,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