diff options
author | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-04 16:23:30 -0800 |
---|---|---|
committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-04 16:24:21 -0800 |
commit | c1bf51b8e23c9f2d8d3147fe259a77b8f202e71a (patch) | |
tree | 8933e46995dfba3f2022656c3873fc7857b083c9 /bindings/python/setup.py | |
parent | df0ab6ea1b788c682e3a2afa8ab4672f27504e94 (diff) |
Tell Windows users to build with '--disable-shared'
As detailed in GitHub issue #1, attempting to build ppamltracer as a
shared library on Cygwin fails. I believed commit bfc92ba (‘autotools:
Don’t build DLLs on Cygwin by default’) fixed this; it does, but it also
disables shared library building on non-Cygwin systems.
We need to do a release, so this bug is getting deferred until later;
for the time being, the documented workaround is to pass
'--disable-shared' to 'configure'.
Diffstat (limited to 'bindings/python/setup.py')
0 files changed, 0 insertions, 0 deletions