Partager via


Priorité dans les règles d'inférence

Mise à jour : novembre 2007

Si une règle d'inférence possède plusieurs définitions, NMAKE utilise celle qui a la plus haute priorité. Le tableau ci-dessous présente les règles d'inférence par ordre de priorité décroissante :

  1. Règle d'inférence définie dans un makefile ; les définitions les plus récentes sont prioritaires.

  2. Règle d'inférence définie dans Tools.ini ; les définitions les plus récentes sont prioritaires.

  3. Règle d'inférence prédéfinie.

Voir aussi

Concepts

Règles d'inférence