diff options
| author | Ilya Arzhannikov <iarzhannikov@artec-group.com> | 2021-04-07 22:00:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-07 13:00:12 -0700 |
| commit | f716880bf61c731d85040e09190ee3a7e55185e4 (patch) | |
| tree | ac2f0f1fba1bb2e578c27787ac6b24868cba8ec0 /versions/o- | |
| parent | 580200d11308af9c06b7ff11b96a222bc7cb3dd3 (diff) | |
| download | vcpkg-f716880bf61c731d85040e09190ee3a7e55185e4.tar.gz vcpkg-f716880bf61c731d85040e09190ee3a7e55185e4.zip | |
Openmpi keep -isystem flags in configure scripts (#17026)
* patch for keep -isystem flags
* x-add-version openmpi
Co-authored-by: Ilya Arzhannikov <iarzhannikov@artec3d.com>
Diffstat (limited to 'versions/o-')
| -rw-r--r-- | versions/o-/openmpi.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/versions/o-/openmpi.json b/versions/o-/openmpi.json index 67454db37..ab6a50791 100644 --- a/versions/o-/openmpi.json +++ b/versions/o-/openmpi.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "ada9b58df7928b49218b4b932e37b343a2047273", + "version-string": "4.1.0", + "port-version": 0 + }, + { "git-tree": "54178d2df9f03298fa293753786c0ddbb1fbf2c4", "version-string": "4.0.3", "port-version": 3 |