"misc/ini_file_manager: is marked as broken: gnatmake: project files are no longer supported by gnatmake; use gprbuild instead", it says. This prevents building ports-mgmt/synth (and, I guess, probably other things too).
Bug report for the synth problem: bug #278924
How does one go about "using gprbuild instead"?
(In reply to Robert William Vesterman from comment #2) Check out bug #279805
Can you check if this fixes the issue for you? Thanks
Worked, thanks. At least insofar as misc/ini_file_manager gets built; the build of synth (which is what I actually wanted this for) is still failing (but with a different error). Thanks again!