Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: d37c23c699f1
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 54e9f7dcbea9
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Jul 12, 2018

  1. 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>
    @thoughtpolice
    thoughtpolice committed Jul 12, 2018
    Copy the full SHA
    54e9f7d View commit details
    Browse the repository at this point in the history