Rodrigo Arias Mallo 501f11a8e5 Merge outputs of MPI in a single directory ... Some MPI implementations now have their headers in the dev output as well as the mpicc wrappers. Reviewed-by: Aleix Boné <abonerib@bsc.es>		2025-01-22 16:03:08 +01:00
..
default.nix	Merge outputs of MPI in a single directory	2025-01-22 16:03:08 +01:00