Update compilation instruction

famenrequested to merge
develop_doc_famen into master

This a quick update of the compilation instruction

Merge request reports