Share via

(Platform)mk.inc File

  • Article

For each platform, there is a special make file:

  • i386mk.inc for an x86 platform

  • ia64mk.inc for an Itanium-based platform

  • amd64mk.inc for an x64-based platform

  • armmk.inc for the ARM platform

Under the root installation directory of the Windows Driver Kit (WDK), these files are stored in the bin subdirectory.

In these files, there are optimization rules or assembler instructions that are specific for that target. There may also be extra link flags, resource compiler flags, or C preprocessor rules that are required.

In general, you should not edit the (Platform)mk.inc files, because there are macros that can be used in your Sources files to override all the (Platform)mk.inc settings. If you want to change the optimization, use MSC_OPTIMIZATION. If you want to change linker flags, use LINKER_FLAGS.

 

 

Send comments about this topic to Microsoft

Build date: 5/3/2011