Thanks for creating and maintaining smatch. Might it be possible to
remove the binaries:
cgcc
sparse-llvm-dis
sparsec
sparsei
from the source repository?
See for example:
https://repo.or.cz/smatch/bkmgit.git/shortlog/refs/heads/remove-binaries
This will help reduce the size of distributed source tarballs.
