tree b52981a0740c61fe1c76e44f66b7be0a328d55f9
parent e24042225faf54c26fe7326f76e754567ed22a61
author Davide Pesavento <davide.pesavento@lip6.fr> 1526789461 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1527212516 -0400

build: switch to C++14

Replace our homegrown implementation of optional (based
on Boost.Optional) with optional-lite by Martin Moene.

Change-Id: I4632cbc7c705a94af0b85a335515e3430bf3cb1f
Refs: #3076