追加してGNATCOLL（macOS上）を使用しようとしています
with "gnatcoll"
私の.gprファイルに、しかし私はこの警告を受けています：
warning: "main.adb" has dynamic elaboration checks and with's
warning: "gnatcoll-traces.ads" which has static elaboration checks
GNATCOLL をコンパイルしてから、configure オプション --enable-shared を付けて再コンパイルしました。ファイルから判断すると、共有ライブラリのバージョンがインストールされています。
GNATCOLL の共有ライブラリ バージョンを使用するように gnatmake に指示するにはどうすればよいですか? または、少なくとも互換性があるように、プログラムを静的にビルドするにはどうすればよいですか?