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
fix-gklib-vs14-math.patch
fix-libparmetis-cmakelist.patch
fix-metis-vs14-math.patch
fix-root-cmakelist.patch
portfile.cmake
use_stdint.patch