Gitlab integration

INSTALL.md

 Sauf indiqué, cette procédure prends en compte par défaut les distributions GNU/Linux Ubuntu et Debian
 
 
-
 # Paquets nécessaires:
 
 ##  Ubuntu
@@ -27,7 +26,7 @@ yaourt -S php php-gd php-imagick xdebug php-pear apache mysql php-apache php-xhp
 ## CentOS
 ```
 rpm -Uvh http://repo.webtatic.com/yum/el6/latest.rpm
-yum install php54w php54w-gd php54w-pear php54w-mysql php54w-pecl-xdebug php54w-xml
+yum install php54w php54w-gd php54w-pear php54w-mysql php54w-pecl-xdebug php54w-xml php54w-soap
 ```
 
 

build.sh

-#!/bin/sh
+#!/bin/bash
 COVERAGE_DIR="coverage/$(basename "$PWD")/${CI_BUILD_REF_NAME}/${CI_BUILD_ID}"
 source ./update.sh
 cp config.ini.default config.ini
@@ -7,6 +7,11 @@ sed -i "s/sgbd.config.username =/sgbd.config.username = opac/g" config.ini
 sed -i "s/sgbd.config.password =/sgbd.config.password = opac/g" config.ini
 sed -i "s/sgbd.config.dbname =/sgbd.config.dbname = opac/g" config.ini
 touch local.php
-phpunit -c tests/phpunit.xml --coverage-text=coverage.txt --coverage-html="../${COVERAGE_DIR}"
-echo "coverage report at /${COVERAGE_DIR}"
-cat coverage.txt
+
+if [ "0$COVERAGE" == "0" ]; then
+	phpunit -c tests/phpunit.xml
+else
+	phpunit -c tests/phpunit.xml --coverage-text=coverage.txt --coverage-html="../${COVERAGE_DIR}"
+	echo "coverage report at /${COVERAGE_DIR}"
+	cat coverage.txt
+fi