Boîte de dialogue des préférences de construction autotools.
Sébastien Granjoux
seb.sfo@free.fr
Bruno Brouard
annoa.b@gmail.com 2009-2012
Gérard Baylard
gerard.b|@|bbox.fr 2010
Julien Hardelin
jhardlin@orange.fr 2011, 2014
Alain Lojewski
allomervan@gmail.com 2011, 2012
Mickael Albertus
mickael.albertus@gmail.com 2012

# Boîte de dialogue des préférences Construire les « autotools ».

Cette boîte de dialogue vous permet de paramétrer les options globales pour la construction des fichiers.

# Exécuter plusieurs commandes en même temps

make est capable de lancer plusieurs compilations en même temps. Cela raccourcit le temps de construction en cas de processeur multi-cœurs mais peut être à l'origine de quelques problèmes. C'est pourquoi vous pouvez activer ou désactiver cette option grâce à cette case à cocher.

# Poursuivre malgré les erreurs

Par défaut, make s'arrête dès qu'il rencontre une erreur. Il peut être plus rapide de passer outre et de regrouper toutes les erreurs de tous les fichiers. C'est ce que permet cette case à cocher.

# Traduire les messages

Par défaut, les messages d'erreur et d'avertissement sont traduits. Cela a toutefois deux inconvénients. Pour reconnaître les erreurs et les avertissements, il faut que la traduction d'Anjuta et du compilateur correspondent parfaitement. En outre, la recherche d'aide sur internet est souvent moins fructueuse qu'une recherche en anglais. Décochez cette option pour désactiver la traduction.

# Mettre en surbrillance des erreurs et des avertissements dans l'éditeur

Les erreurs et les avertissements survenant lors de la construction s'affichent normalement en surbrillance dans la fenêtre Messages. En cochant cette option, ils s'affichent également en surbrillance dans l'éditeur.

# Installer en tant que root

L'installation d'un programme nécessite la copie de fichiers dans des répertoires systèmes pour lesquels l'utilisateur ne possède pas les droits d'écriture. Si cette option est cochée, vous pouvez utiliser sudo ou su, avant d'installer les fichiers, pour acquérir le droit de le faire.