diff options
author | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2015-05-20 20:14:16 +0000 |
---|---|---|
committer | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2015-05-20 20:14:16 +0000 |
commit | 57a23a365a88b3bb9383221f0d7528a7483a69c7 (patch) | |
tree | f00e7c8f236cafc5c1fb5fcb887ea59ced72d213 | |
parent | 6d29a40ab39c2cd15160c448d2b3a47943022fed (diff) |
Correct list of MPI C++ compiler wrapperssvn
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@67 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rw-r--r-- | src/detect.pl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/detect.pl b/src/detect.pl index 26615b7..2f3d7d4 100644 --- a/src/detect.pl +++ b/src/detect.pl @@ -33,7 +33,11 @@ my $mpi_search = 1; my $mpi_build = 0; my $mpi_manual = 0; -my @mpicxx_names = ("mpic++", "mpiCC", "mpicxx", "mpicxx-openmpi-mp", "mpicc"); +# Note: +# - look for "mpiCC" last, since this is equivalent to mpicc on +# case-insensitive file systems +# - don't look for "mpicc", since linking with a C compiler won't work +my @mpicxx_names = ("mpic++", "mpicxx", "mpicxx-openmpi-mp", "mpiCC"); if (!is_set("MPI_DIR")) { message("MPI selected, but MPI_DIR is not set. Computing settings..."); |