Skip to content

Commit aac1c75

Browse files
alive2: 0-unstable-2024-09-23 -> 20.0, Add update script (#393980)
2 parents efc064a + 5732e4b commit aac1c75

File tree

1 file changed

+7
-4
lines changed

1 file changed

+7
-4
lines changed

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

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -8,17 +8,18 @@
88
llvm_18,
99
cmake,
1010
ninja,
11+
nix-update-script,
1112
}:
1213

1314
clangStdenv.mkDerivation (finalAttrs: {
1415
pname = "alive2";
15-
version = "0-unstable-2024-09-23";
16+
version = "20.0";
1617

1718
src = fetchFromGitHub {
1819
owner = "AliveToolkit";
1920
repo = "alive2";
20-
rev = "05a964284056b38a6dc1f807e7acad64a0308328";
21-
sha256 = "sha256-okKKUU7WLXLD9Hvsfoz+1HQWoyQ/bqRpBk5ogr7kSJA=";
21+
tag = "v${finalAttrs.version}";
22+
hash = "sha256-4QNrBRGH+rxXwb7zTRYAixxipN3ybcXuWCmO+BLU9r4=";
2223
};
2324

2425
nativeBuildInputs = [
@@ -56,12 +57,14 @@ clangStdenv.mkDerivation (finalAttrs: {
5657
runHook postInstall
5758
'';
5859

60+
passthru.updateScript = nix-update-script { };
61+
5962
meta = {
6063
description = "Automatic verification of LLVM optimizations";
6164
homepage = "https://github.com/AliveToolkit/alive2";
6265
license = lib.licenses.mit;
6366
platforms = lib.platforms.all;
64-
maintainers = with lib.maintainers; [ shogo ];
67+
maintainers = with lib.maintainers; [ shogo ] ++ lib.teams.ngi.members;
6568
mainProgram = "alive";
6669
};
6770
})

0 commit comments

Comments
 (0)