Mon, 23 Jan 2017 12:50:07 +0000Check that flex is installed during ./configure
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Mon, 23 Jan 2017 12:50:07 +0000] rev 1027
Check that flex is installed during ./configure