search

utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
52 stars 30 forks source link

Apply strip -s to all binaries produces in a travis release build. #124

Closed Meijuh closed 7 years ago

trolando commented 7 years ago

Motivation?

A reason to keep them is that bug reports include more information, e.g., source code lines.

Meijuh commented 7 years ago

The motivation is that an extracted LTSmin release now is ~1GB, which is quite big. The binaries are ~15% of the original size if we apply strip -s. I am going to change the .travis.yml. If we then run into major issues, we can change it back.

Meijuh commented 7 years ago

fixed