Date: Sat, 11 May 2024 22:06:50 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 278922] misc/ini_file_manager can't be built Message-ID: <bug-278922-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D278922 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). --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-278922-7788>