Attempt to allow (but warn about) installation of Python bindings under OSX when the Python ``site-packages`` directory doesn't live under the install prefix. Also disallow installing under Windows as it doesn't really make sense.
Attempt to allow (but warn about) installation of Python bindings
under OSX when the Python ``site-packages`` directory doesn't live
under the install prefix. Also disallow installing under Windows
as it doesn't really make sense.

seahorn/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3