Code

[OpenMPI] add a new port#7142

Code

Merged

vicroms merged 7 commits intomicrosoft:mastermicrosoft/vcpkg:masterfrom cenit:dev/cenit/mpicenit/vcpkg:dev/cenit/mpiCopy head branch name to clipboardJul 31, 2019

+134-19

Commits

Commits on Jul 3, 2019

• [OpenMPI] add a new port

  cenit

  committed
  c3e37ba

• [OpenMPI] enable VCPKG_CONCURRENCY

  cenit

  committed
  536fa74

• [OpenMPI] fix prefix

  cenit

  committed
  fdb4115

• [OpenMPI] fix license installation, compatible with single config build

  cenit

  committed
  4f85b44

• [many ports] enable portable mpi implementation

  cenit

  committed
  8eb2b66

Commits on Jul 16, 2019

• [bond] Update Haskell stack SHA512

  vicroms

  committed
  5e3943d

Commits on Jul 18, 2019

• Merge branch 'master' into dev/cenit/mpi

  vicroms

  authored
  bafbdf5