diff options
| author | Stefano Sinigardi <stesinigardi@hotmail.com> | 2019-07-31 23:47:59 +0200 |
|---|---|---|
| committer | Victor Romero <romerosanchezv@gmail.com> | 2019-07-31 14:47:59 -0700 |
| commit | 455223d009fc6fef0d9293e511d64e9e372abdb0 (patch) | |
| tree | bdcca8323708d27517eefc9627fb6c1eba4c8b6a /ports/openmpi/CONTROL | |
| parent | a2f9ceeb43cbf4d9674a8940bc2d98bc3ea66586 (diff) | |
| download | vcpkg-455223d009fc6fef0d9293e511d64e9e372abdb0.tar.gz vcpkg-455223d009fc6fef0d9293e511d64e9e372abdb0.zip | |
[OpenMPI] add a new port (#7142)2019.07
* [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
Diffstat (limited to 'ports/openmpi/CONTROL')
| -rw-r--r-- | ports/openmpi/CONTROL | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/openmpi/CONTROL b/ports/openmpi/CONTROL new file mode 100644 index 000000000..6ea5a17c1 --- /dev/null +++ b/ports/openmpi/CONTROL @@ -0,0 +1,4 @@ +Source: openmpi +Version: 4.0.1 +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. |