minisat @2.2.0: error: friend declaration specifying a default argument must be a definition

[nathanielvirgo]

I cannot install the minisat port. The log file is attached.

[nathanielvirgo]

/opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/main.log

[ryandesign (Ryan Carsten Schmidt)]

The 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. 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.

[ryandesign (Ryan Carsten Schmidt)]

Aaand I've just realized you said "minisat" not "ministat" so ignore everything I said.

[ryandesign (Ryan Carsten Schmidt)]

This bug was reported to the developers 18 months ago here: ​https://github.com/niklasso/minisat/issues/22

They have not fixed it but a fix has been suggested here: ​https://github.com/niklasso/minisat/pull/27/commits/26b58cf1c7ffcb6c3916a4cd3c851586c1185e92

[kurthindenburg (Kurt Hindenburg)]

done r152941 r152942