json-ada
json-ada copied to clipboard
Build failure with GNAT FSF 15
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.