[MacPorts] #54926: gringo seems to be broken...

[MacPorts]

#54926: gringo seems to be broken...
-----------------------+-----------------
  Reporter:  pmetzger  |      Owner:
      Type:  defect    |     Status:  new
  Priority:  High      |  Milestone:
 Component:  ports     |    Version:
Resolution:            |   Keywords:
      Port:  gringo    |
-----------------------+-----------------

Comment (by pmetzger):

 Apparently this was in fact the scons bug described in
 [https://trac.macports.org/ticket/54915], so perhaps this can be closed.

--
Ticket URL: <https://trac.macports.org/ticket/54926#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS