Installation on macOS
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
the wrong architecture (i386) while compiling (see #169).
brew unlink binutils prior to installing
python-sat should fix the problem.