We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent efe28fc commit aa482e2Copy full SHA for aa482e2
pkgs/by-name/bi/bitwuzla/package.nix
@@ -49,8 +49,6 @@ stdenv.mkDerivation (finalAttrs: {
49
kissat.lib
50
];
51
52
- preConfigure = "export PKG_CONFIG_PATH=${kissatPkgConfig}/lib/pkgconfig:$PKG_CONFIG_PATH";
53
-
54
mesonFlags = [
55
# note: the default value for default_library fails to link dynamic dependencies
56
# but setting it to shared works even in pkgsStatic
0 commit comments