tree 7f376de030828e9e071b6e0808d0892a4ba57618
parent 93eb49ba064574369627e769e2c7885673293d54
author Davide Pesavento <davide.pesavento@lip6.fr> 1527135031 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1528316929 -0400

build: require gcc >= 5.3 and switch to C++14

Change-Id: I53ecd93b5666f451129afbe7ba02de357218efb5
Refs: #4462, #3076