Bug 278922 - misc/ini_file_manager can't be built
Summary: misc/ini_file_manager can't be built
Status: New
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Some People
Assignee: freebsd-ports-bugs (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-05-11 22:06 UTC by Robert William Vesterman
Modified: 2024-05-28 05:29 UTC (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Robert William Vesterman 2024-05-11 22:06:50 UTC 
"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).
Comment 1 Robert William Vesterman 2024-05-11 22:12:17 UTC 
Bug report for the synth problem: bug #278924
Comment 2 Robert William Vesterman 2024-05-28 05:29:35 UTC 
How does one go about "using gprbuild instead"?