add a function xbt_os_get_numcores()

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

diff --git a/buildtools/pipol/rc.debian b/buildtools/pipol/rc.debian
index 67cad4d..7d6668e 100644 (file)
--- a/buildtools/pipol/rc.debian
+++ b/buildtools/pipol/rc.debian
@@ -10,6 +10,7 @@ sudo aptitude -y install f2c
 sudo aptitude -y install gcc-4.6
 sudo aptitude -y install g++-4.6
 sudo aptitude -y install libpcre3-dev
+sudo aptitude -y install cmake
 
 which_svn=`which svn`          #svn necessary
 which_gcc=`which gcc`          #gcc gcc necessary