3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
Austin Seipp 54e9f7dcbe 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>
2018-07-12 15:48:48 -05:00
..
applications z3: move to multiple output packages 2018-07-12 15:48:48 -05:00
build-support bazel-deps: init at 2018-05-31 (#43018) 2018-07-09 22:38:45 +00:00
common-updater
data all-cabal-hashes: update snapshot to Hackage at 2018-07-10T17:01:00Z 2018-07-11 11:41:09 +02:00
desktops Merge pull request #43205 from r-ryantm/auto-update/engrampa 2018-07-12 14:07:31 +02:00
development radare2-cutter: don't wrap, shouldn't be needed (and might be wrong) 2018-07-12 12:57:43 -05:00
games Merge pull request #43302 from rardiol/hyperrogue 2018-07-11 09:07:33 +02:00
misc U-Boot: 2018.05 -> 2018.07 2018-07-12 17:03:40 +03:00
os-specific linux_rpi: 1.20180417 -> 1.20180619 2018-07-12 17:04:07 +03:00
servers xeyes: 1.1.1 -> 1.1.2 2018-07-12 22:18:03 +02:00
shells zsh-command-time: 2017-05-09 -> 2018-04-30 2018-07-12 09:45:54 +03:00
stdenv make-derivation: Don't add host-suffix to fixed-output derivations names 2018-07-09 11:07:10 -04:00
test
tools Merge pull request #43319 from r-ryantm/auto-update/tor 2018-07-12 20:26:32 +00:00
top-level raspberrypiWirelessFirmware: init 2018-07-12 17:02:32 +03:00