cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Merge pull request #265253 from wegank/verilog-clang

Browse source 
verilog: fix build on darwin
This commit is contained in:
Weijia Wang 2023-11-04 19:05:27 +01:00 committed by GitHub
commit ed6188ec2f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/electronics/verilog/default.nix
View file

@ -44,6 +44,10 @@ stdenv.mkDerivation rec {
enableParallelBuilding = true;
env = lib.optionalAttrs stdenv.isDarwin {
NIX_CFLAGS_COMPILE = "-Wno-error=implicit-function-declaration";
};
# NOTE(jleightcap): the `make check` target only runs a "Hello, World"-esque sanity check.
# the tests in the doInstallCheck phase run a full regression test suite.
# however, these tests currently fail upstream on aarch64

4
pkgs/top-level/all-packages.nix
View file

@ -39735,7 +39735,9 @@ with pkgs;
btor2tools = callPackage ../applications/science/logic/btor2tools { };
boolector = callPackage ../applications/science/logic/boolector { };
boolector = callPackage ../applications/science/logic/boolector {
stdenv = if stdenv.cc.isClang then overrideLibcxx llvmPackages_14.stdenv else stdenv;
};
bitwuzla = callPackage ../applications/science/logic/bitwuzla { };