use precompiled header to improve compilation speed?

[swang206]

The compilation speed is ridiculously slow due to the dependency on boost.

Precompiled header can improve the situation a lot.

[eschulte]

I think we're certainly open to this. Would you consider submitting an MR updating our CMake configuration to use precompiled headers by default?

See:

• https://cmake.org/cmake/help/git-stage/command/target_precompile_headers.html
• https://github.com/GrammaTech/gtirb/blob/master/CONTRIBUTING.md
• https://github.com/GrammaTech/gtirb/blob/master/GrammaTech-CLA-GTIRB.pdf