diff options
| author | Björn Gustavsson <[email protected]> | 2014-01-16 14:37:34 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2014-01-17 16:42:50 +0100 |
| commit | 9f57d8c4f86323cf7481c9a7e512486087bb5542 (patch) | |
| tree | 07c02b2dc2bc012d1c4fa5b298712a8bc8576e94 /lib/os_mon/info | |
| parent | 3f53b27f9c4af8f91c3a66e8ebe81efe5ea02b62 (diff) | |
| download | otp-9f57d8c4f86323cf7481c9a7e512486087bb5542.tar.gz otp-9f57d8c4f86323cf7481c9a7e512486087bb5542.tar.bz2 otp-9f57d8c4f86323cf7481c9a7e512486087bb5542.zip | |
configure: Prefer the system's zlib over own our zlib source
WxWidgets (used by the wx application) also uses zlib. To
ensure that the run-time system and WxWidgets use the same version
of zlib, use the system's zlib if present.
Also, the system's zlib may be specially optimized and thus faster
than our own generic source code.
We only use zlib versions that are "good enough". For now, that
means 1.2.5 or higher.
Remove the option --enable-shared-zlib and add the option
--enable-builtin-zlib to force the use of the built-in zlib.
Diffstat (limited to 'lib/os_mon/info')
0 files changed, 0 insertions, 0 deletions