diff options
| author | Jack·Boos·Yu <47264268+JackBoosY@users.noreply.github.com> | 2020-08-19 21:15:24 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-19 21:15:24 -0700 |
| commit | ec4e0c393480b1b508874d5106ecb0db547962af (patch) | |
| tree | 5c5ec856c6077c6471fbea7c3c38b51ad8963eff /ports | |
| parent | 5c056a65bb316f0114f536fdbb04f344b84d38c3 (diff) | |
| download | vcpkg-ec4e0c393480b1b508874d5106ecb0db547962af.tar.gz vcpkg-ec4e0c393480b1b508874d5106ecb0db547962af.zip | |
[openmpi/vcpkg_build_make] Disable parallel build (#12975)
Diffstat (limited to 'ports')
| -rw-r--r-- | ports/openmpi/CONTROL | 2 | ||||
| -rw-r--r-- | ports/openmpi/portfile.cmake | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ports/openmpi/CONTROL b/ports/openmpi/CONTROL index 37fe14b0c..b9c4df053 100644 --- a/ports/openmpi/CONTROL +++ b/ports/openmpi/CONTROL @@ -1,6 +1,6 @@ Source: openmpi Version: 4.0.3 -Port-Version: 2 +Port-Version: 3 Homepage: https://www.open-mpi.org/ Description: The Open MPI Project is an open source Message Passing Interface implementation that is developed and maintained by a consortium of academic, research, and industry partners. Open MPI is therefore able to combine the expertise, technologies, and resources from all across the High Performance Computing community in order to build the best MPI library available. Open MPI offers advantages for system and software vendors, application developers and computer science researchers. Supports: !(windows|uwp) diff --git a/ports/openmpi/portfile.cmake b/ports/openmpi/portfile.cmake index 0ef3c3c6a..a51f55d0d 100644 --- a/ports/openmpi/portfile.cmake +++ b/ports/openmpi/portfile.cmake @@ -30,7 +30,7 @@ vcpkg_configure_make( --enable-debug ) -vcpkg_install_make() +vcpkg_install_make(DISABLE_PARALLEL) file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include") file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/share") |