Several build options are possible; for details on options please read through the Makefile.cfg.
Options can be overridden by the content of a file named Makefile.personal which can be used to
adapt to local installation directories, change config options etc.
Below, a small number of typical scenarios are presented.
Several build options are possible; for details on options please read through the Makefile.cfg.
Options can be overridden by the content of a file named Makefile.personal which can be used to
adapt to local installation directories, change config options etc.
Below, a small number of typical scenarios are presented.