Unverified Commit 32f313e4 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

alive2: 20.0 -> 21.0 (#433921)

parents bc465bd3 867906eb

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

+5 −5
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
  re2c,

  z3,

  hiredis,

  llvm_18,

  llvm,

  cmake,

  ninja,

  nix-update-script,
@@ -13,13 +13,13 @@ 


clangStdenv.mkDerivation (finalAttrs: {

  pname = "alive2";

  version = "20.0";

  version = "21.0";



  src = fetchFromGitHub {

    owner = "AliveToolkit";

    repo = "alive2";

    tag = "v${finalAttrs.version}";

    hash = "sha256-4QNrBRGH+rxXwb7zTRYAixxipN3ybcXuWCmO+BLU9r4=";

    hash = "sha256-LL6/Epn6iHQJGKb8PX+U6zvXK/WTlvOIJPr6JuGRsSU=";

  };



  nativeBuildInputs = [
@@ -30,7 +30,7 @@ clangStdenv.mkDerivation (finalAttrs: { 
  buildInputs = [

    z3

    hiredis

    llvm_18

    llvm

  ];

  strictDeps = true;
@@ -42,7 +42,7 @@ clangStdenv.mkDerivation (finalAttrs: { 


  env = {

    ALIVE2_HOME = "$PWD";

    LLVM2_HOME = "${llvm_18}";

    LLVM2_HOME = "${llvm}";

    LLVM2_BUILD = "$LLVM2_HOME/build";

  };