[MacPorts] #52284: Cannot install minisat

[MacPorts]

#52284: Cannot install minisat
------------------------------+--------------------------------
 Reporter:  nathanielvirgo@…  |      Owner:  macports-tickets@…
     Type:  defect            |     Status:  new
 Priority:  Normal            |  Milestone:
Component:  ports             |    Version:  2.3.4
 Keywords:                    |       Port:  minisat
------------------------------+--------------------------------
 I cannot install the minisat port. The log file is attached.

-- 
Ticket URL: <https://trac.macports.org/ticket/52284>
MacPorts <https://www.macports.org/>
Ports system for macOS