search

afrl-rq / OpenUxAS

Project for multi-UAV cooperative decision making
Other
50 stars 24 forks source link

fix #72 by using Alire for Ada tools #73

Closed manthonyaiello closed 9 months ago

manthonyaiello commented 1 year ago

This pull request fixes #72. It is a work-in-progress, as there are unresolved build issues around XMLAda.

manthonyaiello commented 1 year ago

Note: Ada checks are passing because the CI installed GNAT CE through an Action, rather than using the infrastructure-provided means to install GNAT. This will need to be fixed in a subsequent commit.

manthonyaiello commented 1 year ago

XMLAda is now built with anod, rather than Alire. This resolves the issue where the build was broken because of XMLAda not being relocatable when built via Alire. The build now completes successfully.

SPARK proofs are still broken, including a bug box; I'm not sure what version of SPARK is delivered through Alire, because it has no version number.

The Ada assign tasks example fails due to an issue in byte-buffers; need to see if that issue exists on the main branch as well. The Ada Waterways example succeeds.

manthonyaiello commented 9 months ago

Closing because this work is not subsumed and completed by #74