[MacPorts] #52284: Cannot install minisat

[MacPorts]

#52284: Cannot install minisat
-------------------------------+--------------------------
  Reporter:  nathanielvirgo@…  |      Owner:  ryandesign@…
      Type:  defect            |     Status:  new
  Priority:  Normal            |  Milestone:
 Component:  ports             |    Version:  2.3.4
Resolution:                    |   Keywords:
      Port:  minisat           |
-------------------------------+--------------------------
Changes (by ryandesign@…):

 * owner:  macports-tickets@… => ryandesign@…


Comment:

 The [browser:trunk/dports/science/ministat/Portfile ministat port in the
 science category] builds fine for me on El Capitan.

 Your log shows the build of a different ministat port, in the math
 category. [browser:trunk/dports/math/ministat/Portfile We don't have such
 a port]. Where did you get it? Presumably you should run `sudo port clean
 ministat` and `sudo port selfupdate`, then remove the ministat Portfile in
 the math category (if still present), then try again, which should get the
 correct ministat port in the science category.

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