vcpkg/ports/mpi, branch 2020.04 Forked from https://github.com/microsoft/vcpkg [OpenMPI] add a new port (#7142) 2019-07-31T21:47:59+00:00 Stefano Sinigardi stesinigardi@hotmail.com 2019-07-31T21:47:59+00:00 455223d009fc6fef0d9293e511d64e9e372abdb0 * [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 
* [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