[MacPorts] #68967: openmpi-default: Could not determine global symbol label prefix
MacPorts
noreply at macports.org
Sat Dec 23 21:08:12 UTC 2023
#68967: openmpi-default: Could not determine global symbol label prefix
-------------------------------+---------------------
Reporter: ChristopherMayes | Owner: mascguy
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.8.1
Resolution: duplicate | Keywords:
Port: openmpi-default |
-------------------------------+---------------------
Changes (by ryandesign):
* status: assigned => closed
* resolution: => duplicate
Comment:
Duplicate of #68226.
--
Ticket URL: <https://trac.macports.org/ticket/68967#comment:2>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list