Commit 1c183380 authored by FliegendeWurst's avatar FliegendeWurst
Browse files

alive2: fix and enable strictDeps for cross

parent aac1c750

pkgs/by-name/al/alive2/package.nix

+4 −2
Original line number Diff line number Diff line
@@ -24,17 +24,19 @@ clangStdenv.mkDerivation (finalAttrs: { 


  nativeBuildInputs = [

    cmake

    ninja

    re2c

  ];

  buildInputs = [

    re2c

    z3

    hiredis

    llvm_18

    ninja

  ];

  strictDeps = true;



  postPatch = ''

    substituteInPlace CMakeLists.txt \

      --replace-fail '-Werror' "" \

      --replace-fail 'find_package(Git REQUIRED)' ""

  '';