install libunwind for model-checking

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

diff --git a/buildtools/pipol/rc.ubuntu b/buildtools/pipol/rc.ubuntu
index 25bd452d150cf380ff6ada8f1b4f1ac3d05c053c..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
@@ -16,6 +15,8 @@ sudo apt-get -y -qq install graphviz-dev graphviz
 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
@@ -30,6 +31,7 @@ which_dot=`which dot`         #dot for cgraph
 which_perl=`which perl`                #perl
 which_f2c=`which f2c`          #f2c
 which_gcov=`which gcov`     #gcov
+which_git=`which git`
 echo "DEBUT----------------------------------"
 echo $which_cmake
 echo $which_unzip
@@ -44,4 +46,5 @@ echo $which_wget
 echo $which_perl
 echo $which_f2c
 echo $which_gcov
+echo $which_git
 echo "FIN------------------------------------"
\ No newline at end of file