Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get hash of local and global variables which are not pointers
[simgrid.git] / buildtools / pipol / rc.debian
1 #!/bin/bash
2
3 sudo aptitude update
4
5 sudo aptitude -y install cmake
6 sudo aptitude -y install default-jdk
7 sudo aptitude -y install f2c
8 sudo aptitude -y install g++
9 sudo aptitude -y install gcc
10 sudo aptitude -y install git
11 sudo aptitude -y install git-core
12 sudo aptitude -y install graphviz-dev graphviz
13 sudo aptitude -y install liblua5.1-dev lua5.1
14 sudo aptitude -y install libpcre3-dev
15 sudo aptitude -y install libunwind7-dev
16 sudo aptitude -y install make
17 sudo aptitude -y install valgrind
18
19 which_svn=`which svn`           #svn necessary
20 which_gcc=`which gcc`           #gcc gcc necessary
21 which_gpp=`which g++`           #gcc g++ necessary
22 which_make=`which make`         #make necessary
23 which_java=`which java`         #java optional
24 which_lua=`which lua`           #lua
25 which_cmake=`which cmake`       #cmake necessary
26 which_unzip=`which unzip`       #unzip for gtnets
27 which_wget=`which wget`         #wget for cmake
28 which_dot=`which dot`           #dot for cgraph
29 which_perl=`which perl`         #perl
30 which_f2c=`which f2c`           #f2c
31 which_gcov=`which gcov`     #gcov
32 which_git=`which git`
33 echo "DEBUT----------------------------------"
34 echo $which_cmake
35 echo $which_unzip
36 echo $which_lua
37 echo $which_java
38 echo $which_make
39 echo $which_gcc
40 echo $which_gpp
41 echo $which_svn
42 echo $which_dot
43 echo $which_wget
44 echo $which_perl
45 echo $which_f2c
46 echo $which_gcov
47 echo $which_git
48 echo "FIN------------------------------------"