This repository has been archived on 2025-10-07. You can view files and clone it, but cannot push or open issues or pull requests.

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