tree 128651ef961477bea68044989a95c7c971ee7139
parent f6991e1a61623bec74129f6db49bb7919587c46b
author Davide Pesavento <davide.pesavento@lip6.fr> 1515570943 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1515570943 -0500

ci: update Travis-CI configuration

 * Add clang-6.0 to the build matrix (allowed to fail)
 * Remove unsupported OSX-10.10 configuration
 * Upgrade xcode9 to xcode9.2
 * Various simplifications

Change-Id: I507196dbbe97ffdc16c49ac029e03dc327afd935