9. Installation and Use¶
AUnit 3 contains support for restricted runtimes such as the zero-foot-print (ZFP) and certified (cert) profiles. It can now be installed simultaneously for several targets and runtimes.
9.1. Note on gprbuild¶
In order to compile, install and use AUnit, you need gprbuild and gprinstall version 2.2.0 or above.
9.2. Support for other platforms/run-times¶
AUnit should be built and installed separately for each target and runtime it is meant to be used with. The necessary customizations are performed at AUnit build time, so once the framework is installed, it is always referenced simply by adding the line
to your project.
9.3. Installing AUnit¶
Normally AUnit comes preinstalled and ready-to-use for all runtimes in your GNAT distribution. The following instructions are for rebuilding it from sources for a custom configuration that the user may have.
Extract the archive:
$ gunzip -dc aunit-<version>-src.tgz | tar xf -
To build AUnit for a full Ada run-time:
$ cd aunit-<version>-src $ make
To build AUnit for a ZFP run-time targeting powerpc-elf platform:
$ cd aunit-<version>-src $ make TARGET=powerpc-elf RTS=zfp
To build AUnit for a reconfigurable runtime zfp-leon3 targeting leon3-elf platform:
$ cd aunit-<version>-src $ make TARGET=leon3-elf RTS=zfp RTS_CONF="--RTS=zfp-leon3"
Once the above build procedure has been performed for the desired platform, you can install AUnit:
$ make install INSTALL=<install-root>
We recommend that you install AUnit into the standard location used by gprbuild
to find the libraries for a given configuration. For example for the case above
(runtime zfp-leon3 targeting leon3-elf), the default location is
<gnat-root>/leon3-elf/zfp-leon3. If the runtime is located in a custom
directory and specified by the full path, using this exact path also as
<install_root> is a sensible choice.
INSTALL is not specified, then AUnit will use the root directory where
gprbuild is installed.
The AUnit makefile supports some specific options, activated using environment variables. The following options are defined:
INSTALL: defines the AUnit base installation directory, set to gprbuild’s base installation directory as found in the
TARGET: defines the gnat tools prefix to use. For example, to compile AUnit for powerpc VxWorks,
TARGETshould be set to
powerpc-wrs-vxworks. If not set, the native compiler will be used.
RTS: defines both the run-time used to compile AUnit and the value given to the AUnit project as
RTS_CONF: defines the gprbuild Runtime config flag. The value is set to
--RTS=$(RTS)by default. Can be used when compiling AUnit for a configurable run-time.
To test AUnit:
The AUnit test suite is in the test subdirectory of the source package.
$ cd test $ make
The test suite’s makefile supports the following variables:
9.4. Installed files¶
The AUnit library is installed in the specified directory (<aunit-root> identifies the root installation directory as specified during the installation procedures above):
aunit.gprproject is installed in
- the AUnit source files are installed in
- the AUnit library files are installed in
- the AUnit documentation is installed in
- the AUnit examples are installed in