Skip to content

Conversation

@gonsolo
Copy link
Contributor

@gonsolo gonsolo commented Dec 15, 2025

  • Built on platform:
    • [x ] x86_64-linux

@VShell @thoughtpolice @Luflosi

@nixpkgs-ci nixpkgs-ci bot added 10.rebuild-linux: 11-100 This PR causes between 11 and 100 packages to rebuild on Linux. 10.rebuild-darwin: 11-100 This PR causes between 11 and 100 packages to rebuild on Darwin. labels Dec 15, 2025
@gonsolo
Copy link
Contributor Author

gonsolo commented Dec 16, 2025

You might want to have a look at this one, @eljamm, but I think it's working.

@eljamm eljamm self-requested a review December 16, 2025 18:01
Copy link
Contributor

@eljamm eljamm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Aside from this PR, there are 2 others that attempt to bump yosys:

It would be great if the maintainers (@VShell @thoughtpolice @Luflosi) could have a look at either one of them so we don't end up duplicating effort.

@GaetanLepage
Copy link
Contributor

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 471062
Commit: 936c503cfd3c872e896f41efb0555a5fc6c3f7a0


x86_64-linux

❌ 2 packages failed to build:
  • silice
  • yosys-synlig
✅ 39 packages built:
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • fusesoc
  • fusesoc.dist
  • glasgow
  • glasgow.dist
  • mcy
  • openroad
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.edalize
  • python312Packages.edalize.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python312Packages.yosys
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.edalize
  • python313Packages.edalize.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • yosys (python313Packages.yosys)
  • sby
  • yosys-bluespec
  • yosys-ghdl

Error logs: `x86_64-linux`
silice
CMake Deprecation Warning at src/libs/lua/CMakeLists.txt:1 (CMAKE_MINIMUM_REQUIRED):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

Update the VERSION argument <min> value. Or, use the <min>...<max> syntax
to tell CMake that the project requires at least <min> but has been updated
to work with policies introduced by <max> or earlier.

CMake Deprecation Warning at src/libs/luabind-deboostified/CMakeLists.txt:6 (cmake_minimum_required):
Compatibility with CMake < 3.10 will be removed from a future version of
CMake.

Update the VERSION argument <min> value. Or, use the <min>...<max> syntax
to tell CMake that the project requires at least <min> but has been updated
to work with policies introduced by <max> or earlier.

-- Linking with: stdc++fs
-- Configuring incomplete, errors occurred!

yosys-synlig
      | ^
/nix/store/8wk1ginzix2h59q61k5xzhq81kxqmmwh-yosys-0.60/share/yosys/include/kernel/constids.inc:1012:3: note: previous declaration as 'constexpr const Yosys::RTLIL::IdString Yosys::RTLIL::ID::z'
 1012 | X(z)
      |   ^
/nix/store/8wk1ginzix2h59q61k5xzhq81kxqmmwh-yosys-0.60/share/yosys/include/kernel/rtlil.h:673:35: note: in definition of macro 'X'
  673 | #define X(_id) constexpr IdString _id(StaticId::_id);
      |                                   ^~~
/build/source/src/frontends/systemverilog/compat_symbols.cc:8:32: error: conflicting declaration 'Yosys::RTLIL::IdString Yosys::RTLIL::ID::z_o'
    8 | #define X(_id) RTLIL::IdString RTLIL::ID::_id = "\\" #_id;
      |                                ^~~~~
/nix/store/8wk1ginzix2h59q61k5xzhq81kxqmmwh-yosys-0.60/share/yosys/include/kernel/constids.inc:1013:1: note: in expansion of macro 'X'
 1013 | X(z_o)
      | ^
/nix/store/8wk1ginzix2h59q61k5xzhq81kxqmmwh-yosys-0.60/share/yosys/include/kernel/constids.inc:1013:3: note: previous declaration as 'constexpr const Yosys::RTLIL::IdString Yosys::RTLIL::ID::z_o'
 1013 | X(z_o)
      |   ^~~
/nix/store/8wk1ginzix2h59q61k5xzhq81kxqmmwh-yosys-0.60/share/yosys/include/kernel/rtlil.h:673:35: note: in definition of macro 'X'
  673 | #define X(_id) constexpr IdString _id(StaticId::_id);
      |                                   ^~~
make: *** [Makefile:426: /build/source/build/release/systemverilog-plugin/compat_symbols.o] Error 1

@gonsolo
Copy link
Contributor Author

gonsolo commented Dec 21, 2025

❌ 2 packages failed to build:

There are fixes for both in this PR: #453562
Namely:
7b093f1
5ab962c
Maybe the maintainers (@VShell @thoughtpolice @Luflosi) can merge those.

If there is a way I can help out, please let me know.

@gonsolo
Copy link
Contributor Author

gonsolo commented Dec 22, 2025

Here is a PR for silice: #473108

@gonsolo
Copy link
Contributor Author

gonsolo commented Dec 22, 2025

And one for synlig: #473242

@GaetanLepage
Copy link
Contributor

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 471062
Commit: 936c503cfd3c872e896f41efb0555a5fc6c3f7a0


x86_64-linux

❌ 1 package failed to build:
  • yosys-synlig
✅ 40 packages built:
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • fusesoc
  • fusesoc.dist
  • glasgow
  • glasgow.dist
  • mcy
  • openroad
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.edalize
  • python312Packages.edalize.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python312Packages.yosys
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.edalize
  • python313Packages.edalize.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • yosys (python313Packages.yosys)
  • sby
  • silice
  • yosys-bluespec
  • yosys-ghdl

Error logs: `x86_64-linux`
yosys-synlig
      | ^
/nix/store/ijqprnmpr9gmf9cd04g1hc8cd15sxbsc-yosys-0.60/share/yosys/include/kernel/constids.inc:1012:3: note: previous declaration as 'constexpr const Yosys::RTLIL::IdString Yosys::RTLIL::ID::z'
 1012 | X(z)
      |   ^
/nix/store/ijqprnmpr9gmf9cd04g1hc8cd15sxbsc-yosys-0.60/share/yosys/include/kernel/rtlil.h:673:35: note: in definition of macro 'X'
  673 | #define X(_id) constexpr IdString _id(StaticId::_id);
      |                                   ^~~
/build/source/src/frontends/systemverilog/compat_symbols.cc:8:32: error: conflicting declaration 'Yosys::RTLIL::IdString Yosys::RTLIL::ID::z_o'
    8 | #define X(_id) RTLIL::IdString RTLIL::ID::_id = "\\" #_id;
      |                                ^~~~~
/nix/store/ijqprnmpr9gmf9cd04g1hc8cd15sxbsc-yosys-0.60/share/yosys/include/kernel/constids.inc:1013:1: note: in expansion of macro 'X'
 1013 | X(z_o)
      | ^
/nix/store/ijqprnmpr9gmf9cd04g1hc8cd15sxbsc-yosys-0.60/share/yosys/include/kernel/constids.inc:1013:3: note: previous declaration as 'constexpr const Yosys::RTLIL::IdString Yosys::RTLIL::ID::z_o'
 1013 | X(z_o)
      |   ^~~
/nix/store/ijqprnmpr9gmf9cd04g1hc8cd15sxbsc-yosys-0.60/share/yosys/include/kernel/rtlil.h:673:35: note: in definition of macro 'X'
  673 | #define X(_id) constexpr IdString _id(StaticId::_id);
      |                                   ^~~
make: *** [Makefile:426: /build/source/build/release/systemverilog-plugin/compat_symbols.o] Error 1

@gonsolo
Copy link
Contributor Author

gonsolo commented Jan 9, 2026

Review fails, fix here: #478024

@GaetanLepage
Copy link
Contributor

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 471062
Commit: b35c185fd2ee96e07992bb7ef307afc6e8f6ab4d


x86_64-linux

✅ 40 packages built:
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • fusesoc
  • fusesoc.dist
  • glasgow
  • glasgow.dist
  • mcy
  • openroad
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.edalize
  • python313Packages.edalize.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • yosys (python313Packages.yosys)
  • python314Packages.amaranth
  • python314Packages.amaranth-boards
  • python314Packages.amaranth-boards.dist
  • python314Packages.amaranth-soc
  • python314Packages.amaranth-soc.dist
  • python314Packages.amaranth.dist
  • python314Packages.cynthion
  • python314Packages.cynthion.dist
  • python314Packages.edalize
  • python314Packages.edalize.dist
  • python314Packages.luna-soc
  • python314Packages.luna-soc.dist
  • python314Packages.luna-usb
  • python314Packages.luna-usb.dist
  • python314Packages.yosys
  • sby
  • silice
  • yosys-bluespec
  • yosys-ghdl

@gonsolo
Copy link
Contributor Author

gonsolo commented Jan 9, 2026

Maybe @Luflosi or @thoughtpolice can merge?

@GaetanLepage GaetanLepage added this pull request to the merge queue Jan 9, 2026
@nixpkgs-ci nixpkgs-ci bot added 12.approvals: 1 This PR was reviewed and approved by one person. 2.status: merge-bot eligible This PR can be merged by commenting "@NixOS/nixpkgs-merge-bot merge". labels Jan 9, 2026
Merged via the queue into NixOS:master with commit ec2fdd9 Jan 9, 2026
31 of 33 checks passed
@gonsolo
Copy link
Contributor Author

gonsolo commented Jan 10, 2026

Thanks, @GaetanLepage!

@gonsolo gonsolo deleted the yosys-0.60 branch January 10, 2026 07:23
This was referenced Jan 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

2.status: merge-bot eligible This PR can be merged by commenting "@NixOS/nixpkgs-merge-bot merge". 10.rebuild-darwin: 11-100 This PR causes between 11 and 100 packages to rebuild on Darwin. 10.rebuild-linux: 11-100 This PR causes between 11 and 100 packages to rebuild on Linux. 12.approvals: 1 This PR was reviewed and approved by one person.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants