Back to developer page.
CMake tips and tricks
Compiling an individual source file
This is useful, for example, if you are working on fixing compiler errors in a given source file and want to get at the related error messages quickly, without first going through a lot of other files that a full build would produce.
cd <REPOSITORY_ROOT> # Make sure Makefiles are up to date; can cancel build once compilation starts. ./build.py # Can substitute a different build in the following step as desired. cd builds/debug32/search # Sustitute compilation target as desired. make heuristics/lm_cut_heuristic.cc.o