diff --git a/autogen.pl b/autogen.pl index 58b44785b6..3469fbfb02 100755 --- a/autogen.pl +++ b/autogen.pl @@ -57,12 +57,14 @@ my $ompi_automake_version = "1.11.1"; my $ompi_autoconf_version = "2.65"; my $ompi_libtool_version = "2.2.6b"; my $ompi_flex_version = "2.5.35"; +my $ompi_m4_version = "1.4.16"; # Search paths my $ompi_autoconf_search = "autoconf"; my $ompi_automake_search = "automake"; my $ompi_libtoolize_search = "libtoolize;glibtoolize"; my $ompi_flex_search = "flex"; +my $ompi_m4_search = "m4;gm4"; # One-time setup my $username; @@ -799,6 +801,7 @@ GNU tools: GNU Autoconf: $ompi_autoconf_version GNU Automake: $ompi_automake_version GNU Libtool: $ompi_libtool_version + GNU M4: $ompi_m4_version Flex: $ompi_flex_version =================================================================\n"; my_exit(1); @@ -1019,6 +1022,7 @@ $step. Checking tool versions\n\n"; &find_and_check("libtool", $ompi_libtoolize_search, $ompi_libtool_version); &find_and_check("automake", $ompi_automake_search, $ompi_automake_version); &find_and_check("flex", $ompi_flex_search, $ompi_flex_version); +&find_and_check("m4", $ompi_m4_search, $ompi_m4_version); #---------------------------------------------------------------------------