+++ /dev/null
-#!/bin/bash
-
-sudo apt-get update
-
-sudo apt-get -y -qq install cmake
-sudo apt-get -y -qq install default-jdk
-sudo apt-get -y -qq install swig
-sudo apt-get -y -qq install f2c
-sudo apt-get -y -qq install g++
-sudo apt-get -y -qq install gcc
-sudo apt-get -y -qq install git-core
-sudo apt-get -y -qq install graphviz-dev graphviz
-sudo apt-get -y -qq install libboost-dev
-sudo apt-get -y -qq install liblua5.1-dev lua5.1
-sudo apt-get -y -qq install libunwind7-dev
-sudo apt-get -y -qq install make
-sudo apt-get -y -qq install perl
-sudo apt-get -y -qq install unzip
-sudo apt-get -y -qq install valgrind
-sudo apt-get -y -qq install wget
-
-if [ $PIPOL_IMAGE == "i386-linux-ubuntu-lucid.dd.gz" ]; then
- wget http://mirror.ovh.net/ubuntu//pool/universe/libu/libunwind/libunwind7_0.99-0.3ubuntu1_i386.deb
- sudo dpkg -i libunwind7_0.99-0.3ubuntu1_i386.deb
-fi
-
-if [ $PIPOL_IMAGE == "amd64-linux-ubuntu-lucid.dd.gz" ]; then
- wget http://mirror.ovh.net/ubuntu//pool/universe/libu/libunwind/libunwind7_0.99-0.3ubuntu1_amd64.deb
- sudo dpkg -i libunwind7_0.99-0.3ubuntu1_amd64.deb
-fi
-
-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
-which_wget=`which wget` #wget for cmake
-which_dot=`which dot` #dot for cgraph
-which_perl=`which perl` #perl
-which_f2c=`which f2c` #f2c
-which_gcov=`which gcov` #gcov
-which_git=`which git`
-echo "DEBUT----------------------------------"
-echo $which_cmake
-echo $which_unzip
-echo $which_lua
-echo $which_java
-echo $which_swig
-echo $which_make
-echo $which_gcc
-echo $which_gpp
-echo $which_svn
-echo $which_dot
-echo $which_wget
-echo $which_perl
-echo $which_f2c
-echo $which_gcov
-echo $which_git
-echo "FIN------------------------------------"