[mc] Add a message to explain no property violation is found

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

diff --git a/buildtools/pipol/rc.debian b/buildtools/pipol/rc.debian
index 9065a17..67e8688 100644 (file)
--- a/buildtools/pipol/rc.debian
+++ b/buildtools/pipol/rc.debian
@@ -1,28 +1,28 @@
 #!/bin/bash
 
-sudo apt-get update
+sudo aptitude 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
-sudo apt-get -y -qq install openjdk-6-jdk
-sudo apt-get -y -qq install liblua5.1-dev lua5.1
-sudo apt-get -y -qq install unzip
-sudo apt-get -y -qq install cmake
-sudo apt-get -y -qq install wget
-sudo apt-get -y -qq install perl
-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 aptitude -y install cmake
+sudo aptitude -y install default-jdk
+sudo aptitude -y install swig
+sudo aptitude -y install f2c
+sudo aptitude -y install g++
+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 libunwind7-dev
+sudo aptitude -y install make
+sudo aptitude -y install valgrind
 
 which_svn=`which svn`          #svn necessary
 which_gcc=`which gcc`          #gcc gcc necessary
 which_gpp=`which g++`          #gcc g++ necessary
 which_make=`which make`                #make necessary
 which_java=`which java`                #java optional
+which_swig=`which swig`                #swig optional
 which_lua=`which lua`          #lua
 which_cmake=`which cmake`      #cmake necessary
 which_unzip=`which unzip`      #unzip for gtnets
@@ -37,6 +37,7 @@ echo $which_cmake
 echo $which_unzip
 echo $which_lua
 echo $which_java
+echo $which_swig
 echo $which_make
 echo $which_gcc
 echo $which_gpp
@@ -47,4 +48,4 @@ echo $which_perl
 echo $which_f2c
 echo $which_gcov
 echo $which_git
-echo "FIN------------------------------------"
\ No newline at end of file
+echo "FIN------------------------------------"