bb-runtimes
This repository is used to generate the runtime source trees for AdaCore's bare metal targets.
dependencies
This repository depends on both gcc and gnat repositories to generate a full runtime. However it can also use the sources from an installed compiler and rely on those to just generate the BSP part of the runtime.
generation of BSPs
./build-rts.py --output=temp --bsps-only <board1> <board2> ...
The list of supported boards is listed in build-rts.py within build_configs.
building and intalling a runtime
Once a BSP is generated, make sure you have setup a GNAT compiler for the board's target, and call gprbuild/gprinstall
gprbuild -P temp/BSPs/<rts_project>.gpr -j0 -f
gprinstall -P temp/BSPs/<rts_project>.gpr -p -f
where -P specified the project file, -j0 specifies to build using all CPUs available on the host, -f forces a full project build.
rts with debug information
To build a runtime with debug information, you can set the scenario variable BUILD to Debug:
gprbuild -P temp/BSPs/<rts_project>.gpr -j0 -XBUILD=Debug -f