Stefano Sinigardi 455223d009 [OpenMPI] add a new port (#7142) ...

* [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

2019-07-31 14:47:59 -07:00

..

post-build-stubs

…

post-source-stubs

…

.gitignore

…

boost-modular-headers.cmake

…

CONTROL

…

generate-ports.ps1

[OpenMPI] add a new port (#7142)

2019-07-31 14:47:59 -07:00

portfile.cmake

…