json-ada icon indicating copy to clipboard operation
json-ada copied to clipboard

Published 20 hours ago • verified publisher icon onox

Build failure with GNAT FSF 15

Open AldanTanneo opened this issue 6 months ago • 0 comments
trafficstars

The crate fails to build with violation of restriction "NO_IMPLEMENTATION_ASPECT_SPECIFICATION".

This is because there are several SPARK_Mode aspect specifications, which are an implementation defined aspect, but with GNAT FSF <=14 were accepted even with pragma Profile(No_Implementation_Extensions) in gnat.adc.

AldanTanneo avatar May 19 '25 15:05 AldanTanneo