Skip to content

Latest commit

 

History

History
32 lines (23 loc) · 666 Bytes

README.md

File metadata and controls

32 lines (23 loc) · 666 Bytes

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