To build a program using microlib, you must use the command-line
--library_type=microlib. This option can
be used by the compiler, assembler or linker. Use it with the linker
to override all other options.
Example 11 shows
used by the compiler. Specifying
main.c results in an object file
containing an attribute that asks the linker to use microlib. Compiling
--library_type=microlib is unnecessary,
because the request to link against microlib exists in the object
file generated by compiling
Example 12 shows this
option being used by the assembler. The request to the linker to
use microlib is made as a result of assembling
Example 13 shows this option being used by the linker. Neither object file contains the attribute requesting that the linker link against microlib, so the linker selects microlib as a result of being explicitly asked to do so on the command line.