ada-auth ARM

This is a Git mirror of Ada Conformity Assessment Authority CVS repository. It contains

• Ada Reference Manual
• ACATS User Guide
• Source code of Ada formatting tool

See details about Ada formatting tool in command.txt

Building

This is an Alire crate that you can build with:

alr build

When updating the source docs

If you use case sensitive filesystem you need edit master file converting file names to lowercase:

cd source
sed -i -e '/@Source/s/<[^>]*>/\L\0/' aa-aarm.msm
mkdir output
../.obj/ada_form aa-aarm.msm