diff options
| author | Austin Seipp <aseipp@pobox.com> | 2018-07-12 15:01:16 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2018-07-12 15:48:48 -0500 |
| commit | 54e9f7dcbea9288fd9cea0dfc37e8deba53a806b (patch) | |
| tree | 64e59338616aea74aef9f8d543b2ad6a6c0a532a /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | d37c23c699f10b9d9bb17a0e8da6f1a76cdd4ec8 (diff) | |
z3: move to multiple output packages
The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.
(The include/ directory is also surprisingly large at .5MB...)
This also splits the python API into a completely separate .python attribute,
as well.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions