Installation on macOS

Python-sat

It has been reported that GNU ar being installed (e.g. via homebrew) may cause a non-fatal compilation error in python-sat, causing crashes when it is used by portmod. The issue seems to be that ar reports the wrong architecture (i386) while compiling (see #169).

Removing ar via brew unlink binutils prior to installing python-sat should fix the problem.