Merge pull request #266752 from wegank/souffle-clang-16

souffle: fix build with clang 16
This commit is contained in:
Pierre Bourdon 2023-11-12 03:25:16 +01:00 committed by GitHub
commit 597366a4aa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -34,6 +34,10 @@ stdenv.mkDerivation rec {
cmakeFlags = [ "-DSOUFFLE_GIT=OFF" ];
env = lib.optionalAttrs stdenv.cc.isClang {
NIX_CFLAGS_COMPILE = "-Wno-error=unused-but-set-variable";
};
postInstall = ''
wrapProgram "$out/bin/souffle" --prefix PATH : "${toolsPath}"
'';