Compilation

On linux, just type the following command:

$ make

If you want to build this documentation, type this command:

$ make doc

Back to Configuration step