Tool that builds and installs libadalang tools like gnatpp and gnatmetric from source.
Primary LanguageDockerfileMIT LicenseMIT