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