The use of pragma Profile (No_Implementation_Extensions); or pragma Restrictions (No_Implementation_Pragmas); in gnat.adc causes compilation to fail in the config/*_config.ads file with the error:
*_config.ads:3:01: violation of restriction "No_Implementation_Pragmas".
I'm using for Local_Configuration_Pragmas use "gnat.adc"; in package Compiler in the .gpr file.
I have found 2 workarounds:
- Remove "config/" from
Source_Dirsin the .gpr file and don't use the *_Config package in the code of a project. - Use
pragma Restriction_Warningsinstead.
Neither may be desirable though.
alire-project / alire
Command-line tool from the Alire project and supporting library
285
Contributors get 50% of received funds after fees
How does funding with Polar work?
1
Pay now to fund the work behind this issue.
2
Get updates on progress being made.
3
Maintainer is rewarded once the issue is completed.
FAQ
Backer
You're funding impactful open source efforts
Contributor
You want to contribute to this effort
Maintainer
You want to get funding like this too