Skip to content

flake: skip clippy on x86_64-darwin#738

Open
Mic92 wants to merge 1 commit into
NixOS:releasedfrom
Mic92:drop-clippy-from-build
Open

flake: skip clippy on x86_64-darwin#738
Mic92 wants to merge 1 commit into
NixOS:releasedfrom
Mic92:drop-clippy-from-build

Conversation

@Mic92
Copy link
Copy Markdown
Member

@Mic92 Mic92 commented May 17, 2026

clippy currently fails to build on x86_64-darwin with nixpkgs nixos-25.11: install_name_tool runs out of headerpad during the fixup phase. The clippy derivation in nixpkgs is missing the -headerpad_max_install_names workaround that rustfmt already got in NixOS/nixpkgs#369349.

Since we run cargo clippy in preBuild, this breaks the whole ofborg package on x86_64-darwin. Skip the lint step on that platform until nixpkgs is fixed.

Found while merging ofborg-infrastructure into NixOS/infra (NixOS/infra#1009).

clippy fails to build on x86_64-darwin in nixpkgs (nixos-25.11), fixed
in master. install_name_tool runs out of headerpad during fixup.
Skip the preBuild lint there so the ofborg package can build.
Mic92 added a commit to NixOS/infra that referenced this pull request May 17, 2026
clippy is broken on x86_64-darwin in nixpkgs (nixos-25.11), which makes
the ofborg package fail to build there.
Mic92 added a commit to NixOS/infra that referenced this pull request May 17, 2026
clippy is broken on x86_64-darwin in nixpkgs (nixos-25.11), which makes
the ofborg package fail to build there.
Mic92 added a commit to NixOS/infra that referenced this pull request May 17, 2026
clippy is broken on x86_64-darwin in nixpkgs (nixos-25.11), which makes
the ofborg package fail to build there.
Mic92 added a commit to NixOS/infra that referenced this pull request May 17, 2026
clippy is broken on x86_64-darwin in nixpkgs (nixos-25.11), which makes
the ofborg package fail to build there.
Mic92 added a commit to NixOS/infra that referenced this pull request May 17, 2026
clippy is broken on x86_64-darwin in nixpkgs (nixos-25.11), which makes
the ofborg package fail to build there.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant