This is an old revision of the document!
Source development requires a series of tool. Some important (at least important for our development) are listet here:
It is of utmost importance to use some sort of tool which manages different versions of your files. These tools are called version control or revision control tools. We use git and github for our projects.
To avoid compiling each source code file manually, build automation tools are used. make is the most popular build automation tool in the Linux/Unix area. In addition to classic build automation tools, cmake provides a higher level abstraction and can be used to create make files or configuration for other build automation tools (like Visual Studio).