Hi, I'm the upstream ninja maintainer. Helmut asked me to leave a short comment here after talking on IRC. I believe option 1 should be safe; ninja shouldn't change in behavior for different build, host, or target*.
*: (One small deviation is Windows: ninja built on Windows behaves slightly differently than ninja built on non-Windows, but in fairly minor ways, and I think this shouldn't affect debian.)
