|
⇤ ← Revision 1 as of 2015-12-09 10:13:20
Size: 664
Comment: Add info on how to compile individual file.
|
Size: 958
Comment: Add some more info on compiling individual files.
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 20: | Line 20: |
The last line is perhaps a bit confusing because the generated object file end up in a completely different place than the specified path suggests. On a current Linux system, tab-completion for the make target should work. If it does not, this may be a sign that `build.py` needs to be run. |
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
The last line is perhaps a bit confusing because the generated object file end up in a completely different place than the specified path suggests. On a current Linux system, tab-completion for the make target should work. If it does not, this may be a sign that build.py needs to be run.