yosys-synlig: drop

[gonsolo]

Synlig has stopped development, that last commit is from Dec 2024, it seems yosys-slang is used nowadays.

[hzeller]

I see if I can offline figure out to make it compatible with latest yosys

[GaetanLepage]

Is this package actually broken or simply "unmaintained"?
If it still builds, marking is as broken is not the right action.

Also, is there an official statement from upstream stating that development has stopped? Or is your observation just based on the date of the latest commit?

If it is indeed "archived/unmaintained" AND if it does not make any sense to keep it around, then we should properly drop the package. This means removing the files and adding an entry in pkgs/top-level/aliases.nix.

[gonsolo]

Is this package actually broken or simply "unmaintained"? If it still builds, marking is as broken is not the right action.

It's broken with newer yosys and is the only reason (after you merged my patch for silice) to not update yosys.

Also, is there an official statement from upstream stating that development has stopped? Or is your observation just based on the date of the latest commit?

The last commit is from Dec 2024, and I emailed the main commiter: No answer.

If it is indeed "archived/unmaintained" AND if it does not make any sense to keep it around, then we should properly drop the package. This means removing the files and adding an entry in pkgs/top-level/aliases.nix.

I would vote to drop it; if the maintainer steps up again it should be easily ressurected, right?

[GaetanLepage]

I would vote to drop it; if the maintainer steps up again it should be easily ressurected, right?

If @hzeller agrees, then sure, let's drop it.

[gonsolo]

If @hzeller agrees, then sure, let's drop it.

I tried several hours to get it to work but the API breakage is just too big.
If someone really needs it he can stick to an older nix version or fix upstream, then this package can be easily resurrected.
To make it easy for @hzeller I pushed the necessary changes to drop it.

[NickCao]

Correct commit message would be: yosys-synlig: drop, not a big deal though.

[hzeller]

Drop sounds like a good choice for now.

[nixpkgs-ci]

Backport failed for release-25.11, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin release-25.11
git worktree add -d .worktree/backport-473242-to-release-25.11 origin/release-25.11
cd .worktree/backport-473242-to-release-25.11
git switch --create backport-473242-to-release-25.11
git cherry-pick -x 0f1f388f3259d652dab39d6362da364a7c73199b

[gonsolo]

Backport failed for release-25.11, because it was unable to cherry-pick the commit(s).

This is a package removal; backporting to stable is not necessary as it would be a breaking change for 25.11 users.