search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

Shrink binaries (probably by stripping) #9

Closed atomb closed 3 years ago

atomb commented 3 years ago

Some binary artifacts produced by the scripts in this repo are very large. For example, the abc binary on Linux is 108MB. I think some of these could be made more reasonable by using strip, but there may be configuration flags that could help, too, by removing features we're not using.

atomb commented 3 years ago

For a concrete data point, the unpacked set of macOS binaries goes from 81MB to 64MB when stripped.

atomb commented 3 years ago

Fixed in bfef232