I am having some issues with detected elaboration circularities. I am almost sure that all the sources were compiled with -gnatE.
To further investigate this I would like to check in the ada lib directory if a file was compiled with static or dynamic elaboration.
Does there exist a command with which you can retrieve this info? I am using FSF-GNAT.
Along with the compiled files (.o) there are ALI files (.ali) which are text files with many details about the compilation that has happened. The first bunch of information is about compiler switches.