5 sudo apt-get -y -qq install gcc
6 sudo apt-get -y -qq install g++
7 sudo apt-get -y -qq install make
8 sudo apt-get -y -qq install openjdk-6-jdk
9 sudo apt-get -y -qq install liblua5.1-dev lua5.1
10 sudo apt-get -y -qq install unzip
11 sudo apt-get -y -qq install cmake
12 sudo apt-get -y -qq install wget
13 sudo apt-get -y -qq install perl
14 sudo apt-get -y -qq install graphviz-dev graphviz
15 sudo apt-get -y -qq install libpcre3-dev
16 sudo apt-get -y -qq install f2c
17 sudo apt-get -y -qq install valgrind
18 sudo apt-get -y -qq install git-core
19 sudo apt-get -y -qq install libunwind7-dev
21 if [ $PIPOL_IMAGE == "i386-linux-ubuntu-lucid.dd.gz" ]; then
22 wget http://mirror.ovh.net/ubuntu//pool/universe/libu/libunwind/libunwind7_0.99-0.3ubuntu1_i386.deb
23 sudo dpkg -i libunwind7_0.99-0.3ubuntu1_i386.deb
26 if [ $PIPOL_IMAGE == "amd64-linux-ubuntu-lucid.dd.gz" ]; then
27 wget http://mirror.ovh.net/ubuntu//pool/universe/libu/libunwind/libunwind7_0.99-0.3ubuntu1_amd64.deb
28 sudo dpkg -i libunwind7_0.99-0.3ubuntu1_amd64.deb
31 which_svn=`which svn` #svn necessary
32 which_gcc=`which gcc` #gcc gcc necessary
33 which_gpp=`which g++` #gcc g++ necessary
34 which_make=`which make` #make necessary
35 which_java=`which java` #java optional
36 which_lua=`which lua` #lua
37 which_cmake=`which cmake` #cmake necessary
38 which_unzip=`which unzip` #unzip for gtnets
39 which_wget=`which wget` #wget for cmake
40 which_dot=`which dot` #dot for cgraph
41 which_perl=`which perl` #perl
42 which_f2c=`which f2c` #f2c
43 which_gcov=`which gcov` #gcov
45 echo "DEBUT----------------------------------"
60 echo "FIN------------------------------------"