tree 3b19ae53fc6a89f233e9cf24db3e8040d6fff14b
parent ee18cce1bf60a0c6cd0a741e0c82207a32d35bae
author Davide Pesavento <davide.pesavento@lip6.fr> 1527137441 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1528317008 -0400

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

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