New attribute Required_Artifacts
A new attribute Required_Artifacts has been introduced. This new
attribute complements the Artifacts attribute and is very similar
except that the artifacts must exist or an error is reported.
AdaCore - The GNAT Pro Company
Home | Download | Developers | Academia | Ada Answers | Tools | News | AdaCore Blog | Contact