Merge 'master' into mc

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

diff --git a/buildtools/pipol/rc.debian b/buildtools/pipol/rc.debian
index 7cdb9c50644f5d586aee70338516e288bd546719..8a65effa156338e3a28b0c469949a1db80129faf 100644 (file)
--- a/buildtools/pipol/rc.debian
+++ b/buildtools/pipol/rc.debian
@@ -10,8 +10,8 @@ sudo aptitude -y install gcc
 sudo aptitude -y install git
 sudo aptitude -y install git-core
 sudo aptitude -y install graphviz-dev graphviz
+sudo aptitude -y install libboost-dev
 sudo aptitude -y install liblua5.1-dev lua5.1
-sudo aptitude -y install libpcre3-dev
 sudo aptitude -y install libunwind7-dev
 sudo aptitude -y install make
 sudo aptitude -y install valgrind