I'm surprised there has not been any mention of Gitian, the build system used by Bitcoin to perform exactly deterministic builds. The purpose of this is to enable multiple developers to prove that they are all signing the same binary.

http://gitian.org/