Compilation des outils

Chaque outil peut être compilé séparément, il suffit de se placer dans son répertoire et d'exécuter la commande :
make clean; make

À la racine du répertoire TOOLS, on trouve deux scripts shell : clean_all et compile_all qui permettent respectivement de supprimer les compilations précédentes et de compiler tous les outils. On peut ainsi proprement compiler les outils en exécutant la commande :
clean_all; compile_all