Commit b98a7dfb authored by Weijia Wang's avatar Weijia Wang
Browse files

souffle: fix build with clang 16

parent 3f616fad

pkgs/development/compilers/souffle/default.nix

+4 −0
Original line number Diff line number Diff line
@@ -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}"

  '';