freeminer/freeminer — pull request #117 by donat-b (2014-11-05 17:39:43+00:00)
Title: chg: dev: Prevent compiling on unsupported platforms

As it's not supported, let's not make users go through long compilation process just to discover it's not working.