Bug 278924 - ports-mgmt/synth required package unbuildable
Summary: ports-mgmt/synth required package unbuildable
Status: Closed Overcome By Events
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Some People
Assignee: Dima Panov
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-05-11 22:10 UTC by Robert William Vesterman
Modified: 2024-06-20 05:30 UTC (History)
1 user (show)

See Also:
bugzilla: maintainer-feedback? (fluffy)


Attachments

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:10:59 UTC
ports-mgmt synth fails building because its required package misc/ini_file_manager is marked as broken, saying "project files are no longer supported by gnatmake; use   gprbuild instead".

Bug report for the underlying misc/ini_file_manager problem: bug #278922
Comment 1 Robert William Vesterman 2024-06-20 05:30:06 UTC
As of today, the required package that was failing can be built (see bug #278922). Unfortunately, the build of synth still fails, but at least it's past this particular problem.

I'll close this bug report and open a new one regarding the new error trying to build synth.