diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-11-11 00:34:50 +0100 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-11-11 00:34:50 +0100 |
| commit | b98a7dfbabdc9e927bec8445ed585269a84240c1 (patch) | |
| tree | d5e21a9c7d39c95f56831a57e91c38c3b3dbb507 /pkgs/development/compilers/souffle | |
| parent | 3f616fad02c82853a8e6e3cf8fd3aea95945f70e (diff) | |
souffle: fix build with clang 16
Diffstat (limited to 'pkgs/development/compilers/souffle')
| -rw-r--r-- | pkgs/development/compilers/souffle/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/compilers/souffle/default.nix b/pkgs/development/compilers/souffle/default.nix index 6a06213e95994..a0322db765640 100644 --- a/pkgs/development/compilers/souffle/default.nix +++ b/pkgs/development/compilers/souffle/default.nix @@ -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}" ''; |