commit e11c8d85b898629800403d017876af7f33d8fc00
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Apr 16 14:32:07 2016 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> Fri Apr 22 02:16:13 2016 +0200
tree 6c81516e1272063397943beacb59df4f6c5b1bd5
parent 2e52d7cab4e03631db7f6c89a2daf7de590dd29e

docs+ci: Ubuntu 12.04 is no longer supported

Change-Id: Icff6724c9b76b7e85541b3dcc88408c07f7fd312
Refs: #3599, #3600

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index c32219b..241ffe5 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -17,13 +17,8 @@
 fi
 
 if has Ubuntu $NODE_LABELS; then
-    BOOST_PKG=libboost-all-dev
-    if has Ubuntu-12.04 $NODE_LABELS; then
-        BOOST_PKG=libboost1.48-all-dev
-    fi
-
     set -x
-    sudo apt-get update -qq -y
-    sudo apt-get -qq -y install build-essential pkg-config $BOOST_PKG \
-                                libcrypto++-dev libsqlite3-dev
+    sudo apt-get -qq update
+    sudo apt-get -qq install build-essential pkg-config libboost-all-dev \
+                             libcrypto++-dev libsqlite3-dev
 fi

.jenkins.d/README.md

diff --git a/.jenkins.d/README.md b/.jenkins.d/README.md
index 4f5e930..4720a52 100644
--- a/.jenkins.d/README.md
+++ b/.jenkins.d/README.md
@@ -13,13 +13,13 @@
 
   * `[OS_TYPE]`: `Linux`
   * `[DISTRO_TYPE]`: `Ubuntu`
-  * `[DISTRO_VERSION]`: `Ubuntu-12.04`, `Ubuntu-14.04`, `Ubuntu-15.04`
+  * `[DISTRO_VERSION]`: `Ubuntu-14.04`, `Ubuntu-16.04`
 
   Possible values of OSX OS:
 
   * `[OS_TYPE]`: `OSX`
   * `[DISTRO_TYPE]`: `OSX` (can be absent)
-  * `[DISTRO_VERSION]`: `OSX-10.10`, `OSX-10.9`, `OSX-10.8`, `OSX-10.7`
+  * `[DISTRO_VERSION]`: `OSX-10.11`, `OSX-10.10`, `OSX-10.9`, `OSX-10.8`
 
 - `JOB_NAME`: optional variable to define type of the job.  Depending on the defined job type,
   the build scripts can perform different tasks.