Merge pull request #304579 from wegank/boolector-stdenv
boolector: unpin stdenv on darwin
This commit is contained in:
commit
8ab305986d
|
@ -38928,9 +38928,7 @@ with pkgs;
|
|||
|
||||
btor2tools = callPackage ../applications/science/logic/btor2tools { };
|
||||
|
||||
boolector = callPackage ../applications/science/logic/boolector {
|
||||
stdenv = if stdenv.cc.isClang then overrideLibcxx llvmPackages_14.stdenv else stdenv;
|
||||
};
|
||||
boolector = callPackage ../applications/science/logic/boolector { };
|
||||
|
||||
bitwuzla = callPackage ../applications/science/logic/bitwuzla { };
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user