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/java/build.xml | |
| 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/java/build.xml')
0 files changed, 0 insertions, 0 deletions