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 | |
| 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')
| -rw-r--r-- | versions/baseline.json | 4 | ||||
| -rw-r--r-- | versions/o-/openmpi.json | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index a4467d64e..1dbeb6bfc 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -4469,8 +4469,8 @@ "port-version": 0 }, "openmpi": { - "baseline": "4.0.3", - "port-version": 3 + "baseline": "4.1.0", + "port-version": 0 }, "openmvg": { "baseline": "1.6", 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 |