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