You can build MIR in source directory simply withmake ormake all

You can also build MIR in a separate directory. In this case youneed to usemake SRC_DIR=<path to MIR sources> -f <path to MIR sources>/GNUmakefile.All other calls of make should have thesameSRC_DIR value and-f argument on the make command line.

By default MIR is built in release mode (with optimizations). If youwant to build debugging version (without optimizations and additionalchecks), you can usemake debug instead ofmake. Please don'tforget to remove debug version up before installing (you can do thiswithmake clean all).

Please usemake test ormake bench for testing and benchmarkingwith the rightSRC_DIR if you build MIR in a different directory.

make install installs the following:

• libmir.a - a static library containing MIR API functions,MIR generator and interpreter, and C-to-MIR compiler
• libmir.so.x.x.x - a dynamic library containing MIR API functions,MIR generator and interpreter, and C-to-MIR compiler
• mir.h,mir-gen.h,c2mir.h - include files to use MIR API functionsand interpreter, MIR-generator, and C-to-MIR compiler
• c2m - a standalone C compiler based on MIR
• b2m - an utility to transform binary MIR file into textual one
• m2b - an utility to transform textual MIR file into binary one
• b2ctab - an utility to transform binary MIR file into C filecontaining this file as an byte array with namemir_code. This utilitycan be useful to generate a standalone executable based on usingMIR interpreter or generator

The default destination is/usr/local/include for include files,/usr/local/lib for the library, and/usr/local/bin for theexecutables.

You can change the default destination by usingPREFIX variable on the make command line. For example,

make PREFIX=/usr install

will use/usr/include,/usr/lib, and/usr/bin for the destinations.

make uninstall undoesmake install if the both use the samePREFIX value.

make clean removes all files created during building, testing, andbenchmarking.