aboutsummaryrefslogtreecommitdiff
path: root/ports/mpi
AgeCommit message (Collapse)Author
2019-07-31[OpenMPI] add a new port (#7142)2019.07Stefano Sinigardi
* [OpenMPI] add a new port * [OpenMPI] enable VCPKG_CONCURRENCY * [OpenMPI] fix prefix * [OpenMPI] fix license installation, compatible with single config build * [many ports] enable portable mpi implementation * [bond] Update Haskell stack SHA512