5 sudo apt-get -y -qq install subversion
6 sudo apt-get -y -qq install gcc
7 sudo apt-get -y -qq install g++
8 sudo apt-get -y -qq install make
9 sudo apt-get -y -qq install openjdk-6-jdk
10 sudo apt-get -y -qq install liblua5.1-dev lua5.1
11 sudo apt-get -y -qq install unzip
12 sudo apt-get -y -qq install cmake
13 sudo apt-get -y -qq install wget
14 sudo apt-get -y -qq install perl
15 sudo apt-get -y -qq install graphviz-dev graphviz
16 sudo apt-get -y -qq install libpcre3-dev
17 sudo apt-get -y -qq install f2c
18 sudo apt-get -y -qq install valgrind
19 sudo apt-get -y -qq install git-core
21 which_svn=`which svn` #svn necessary
22 which_gcc=`which gcc` #gcc gcc necessary
23 which_gpp=`which g++` #gcc g++ necessary
24 which_make=`which make` #make necessary
25 which_java=`which java` #java optional
26 which_lua=`which lua` #lua
27 which_cmake=`which cmake` #cmake necessary
28 which_unzip=`which unzip` #unzip for gtnets
29 which_wget=`which wget` #wget for cmake
30 which_dot=`which dot` #dot for cgraph
31 which_perl=`which perl` #perl
32 which_f2c=`which f2c` #f2c
33 which_gcov=`which gcov` #gcov
35 echo "DEBUT----------------------------------"
50 echo "FIN------------------------------------"