Compiling a mostly statically linked version of CP-SAT

[cyderize]

Hi, currently we bundle CP-SAT with MiniZinc, and are finding that packaging can be a bit problematic with all the shared libraries.

Previously, we used so statically link fzn-cp-sat, but at some point this stopped working (I believe because of protobuf). Is there a way to still statically link the dependencies that do support it? It seems like bzip2, re2, zlib, etc should be able to be statically linked.

Thanks!

[lperron]

use bazel, there are options to create a fully static binary

[cyderize]

Great, that seems to work. Thanks!