1.1 --- a/autogen.pl	Tue Nov 13 07:21:10 2012 +0000
     1.2 +++ b/autogen.pl	Tue Nov 13 07:28:10 2012 +0000
     1.3 @@ -56,11 +56,13 @@
     1.4  my $ompi_automake_version = "1.11.1";
     1.5  my $ompi_autoconf_version = "2.65";
     1.6  my $ompi_libtool_version = "2.2.6b";
     1.7 +my $ompi_flex_version = "2.5.35";
     1.8  
     1.9  # Search paths
    1.10  my $ompi_autoconf_search = "autoconf";
    1.11  my $ompi_automake_search = "automake";
    1.12  my $ompi_libtoolize_search = "libtoolize;glibtoolize";
    1.13 +my $ompi_flex_search = "flex";
    1.14  
    1.15  # One-time setup
    1.16  my $username;
    1.17 @@ -797,6 +799,7 @@
    1.18      GNU Autoconf: $ompi_autoconf_version
    1.19      GNU Automake: $ompi_automake_version
    1.20      GNU Libtool: $ompi_libtool_version
    1.21 +    Flex: $ompi_flex_version
    1.22  =================================================================\n";
    1.23      my_exit(1);
    1.24  }
    1.25 @@ -1015,6 +1018,7 @@
    1.26  &find_and_check("autoconf", $ompi_autoconf_search, $ompi_autoconf_version);
    1.27  &find_and_check("libtool", $ompi_libtoolize_search, $ompi_libtool_version);
    1.28  &find_and_check("automake", $ompi_automake_search, $ompi_automake_version);
    1.29 +&find_and_check("flex", $ompi_flex_search, $ompi_flex_version);
    1.30  
    1.31  #---------------------------------------------------------------------------
    1.32