Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[pipol] Sort packages by name.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 5 Feb 2013 15:16:37 +0000 (16:16 +0100)
committerArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 5 Feb 2013 15:19:39 +0000 (16:19 +0100)
buildtools/pipol/rc.debian
buildtools/pipol/rc.ubuntu

index 3285d37..25d870b 100644 (file)
@@ -1,19 +1,20 @@
 #!/bin/bash
 
 sudo aptitude update
-sudo aptitude -y install make
-sudo aptitude -y install git
-sudo aptitude -y install git-core
-sudo aptitude -y install openjdk-6-jdk
-sudo aptitude -y install valgrind
+
+sudo aptitude -y install cmake
 sudo aptitude -y install f2c
-sudo aptitude -y install gcc-4.6
 sudo aptitude -y install g++-4.6
+sudo aptitude -y install gcc-4.6
+sudo aptitude -y install git
+sudo aptitude -y install git-core
 sudo aptitude -y install graphviz-dev graphviz
 sudo aptitude -y install liblua5.1-dev lua5.1
 sudo aptitude -y install libpcre3-dev
-sudo aptitude -y install cmake
 sudo aptitude -y install libunwind7-dev
+sudo aptitude -y install make
+sudo aptitude -y install openjdk-6-jdk
+sudo aptitude -y install valgrind
 
 which_svn=`which svn`          #svn necessary
 which_gcc=`which gcc`          #gcc gcc necessary
index 8462e76..a04f459 100644 (file)
@@ -2,21 +2,21 @@
 
 sudo apt-get update
 
-sudo apt-get -y -qq install gcc
+sudo apt-get -y -qq install cmake
+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 liblua5.1-dev lua5.1
+sudo apt-get -y -qq install libpcre3-dev
+sudo apt-get -y -qq install libunwind7-dev
 sudo apt-get -y -qq install make
 sudo apt-get -y -qq install openjdk-6-jdk
-sudo apt-get -y -qq install liblua5.1-dev lua5.1
-sudo apt-get -y -qq install unzip
-sudo apt-get -y -qq install cmake
-sudo apt-get -y -qq install wget
 sudo apt-get -y -qq install perl
-sudo apt-get -y -qq install graphviz-dev graphviz
-sudo apt-get -y -qq install libpcre3-dev
-sudo apt-get -y -qq install f2c
+sudo apt-get -y -qq install unzip
 sudo apt-get -y -qq install valgrind
-sudo apt-get -y -qq install git-core
-sudo apt-get -y -qq install libunwind7-dev
+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