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
..
CONTROL	[OpenMPI] add a new port (#7142)	2019-07-31 14:47:59 -07:00
portfile.cmake	[OpenMPI] add a new port (#7142)	2019-07-31 14:47:59 -07:00