]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Updated travis config. 1199/head
authorLuca Heltai <luca.heltai@sissa.it>
Sun, 26 Jul 2015 18:59:05 +0000 (20:59 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Sun, 26 Jul 2015 19:32:19 +0000 (21:32 +0200)
.travis.yml
contrib/utilities/check_indentation.sh
contrib/utilities/setup_astyle.sh

index aa013ce4823cd1bcd71a7144d262620df29ffa60..d711326c099efdfef67eefbec67be82e942c9f4b 100644 (file)
@@ -1,11 +1,23 @@
+sudo : false
+
+notifications:
+  email: false
+
 language: C++
 
 compiler: 
-- gcc
+    - gcc
+
+cache: 
+  directories:
+    - programs
 
-before_install: ./contrib/utilities/setup_astyle.sh 
+install:
+    - export PATH=$PWD/programs/astyle/build/gcc/bin:$PATH
+    - ./contrib/utilities/setup_astyle.sh 
 
-script: ./contrib/utilities/check_indentation.sh 
+script: 
+    - ./contrib/utilities/check_indentation.sh 
 
 branches:
   only:
index abca0273180a018069aaa097606d9208c898bbfe..7a859c98e3393c934c87b7de00caa7508814a61e 100755 (executable)
@@ -6,8 +6,6 @@ else
        echo "Running indentation test on Pull Request #${TRAVIS_PULL_REQUEST}"
 fi
 
-export PATH=`pwd`/astyle/build/gcc/bin:$PATH
-
 ./contrib/utilities/indent
 git diff
 git diff-files --quiet 
index cb1488595e729cc4b8bbf17cb4144a43b36928bc..4f0f53dc70ff5e387f92a3736fb176018e263eed 100755 (executable)
@@ -1,8 +1,20 @@
 #!/bin/sh
-echo "Downloading and installing astyle."
-wget http://downloads.sourceforge.net/project/astyle/astyle/astyle%202.04/astyle_2.04_linux.tar.gz  > /dev/null
-tar xvfz astyle_2.04_linux.tar.gz > /dev/null
-cd astyle/build/gcc
-make -j4 > /dev/null
-cd ../../../
-export PATH=`pwd`/astyle/build/gcc/bin:$PATH
+
+PRG=$PWD/programs
+
+if [ ! -d $PRG ] 
+then
+    echo "create folder `$PRG`"
+    mkdir $PRG
+fi
+
+# astyle
+if [ ! -d $PRG/astyle ]
+then
+    echo "Downloading and installing astyle."
+    mkdir $PRG/astyle
+    wget http://downloads.sourceforge.net/project/astyle/astyle/astyle%202.04/astyle_2.04_linux.tar.gz  > /dev/null
+    tar xfz astyle_2.04_linux.tar.gz -C $PRG > /dev/null
+    cd $PRG/astyle/build/gcc
+    make -j4 > /dev/null
+fi

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.