[Bug 278922] misc/ini_file_manager can't be built

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 11 May 2024 22:06:50 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=278922

            Bug ID: 278922
           Summary: misc/ini_file_manager can't be built
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Some People
          Priority: ---
         Component: Individual Port(s)
          Assignee: ports-bugs@FreeBSD.org
          Reporter: bob@vesterman.com

"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).

-- 
You are receiving this mail because:
You are the assignee for the bug.