tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{
2 lib,
3 fetchFromGitHub,
4 buildGoModule,
5 pigeon,
6}:
7
8buildGoModule rec {
9 pname = "verifpal";
10 version = "0.27.4";
11
12 src = fetchFromGitHub {
13 owner = "symbolicsoft";
14 repo = "verifpal";
15 rev = "v${version}";
16 hash = "sha256-kBeQ7U97Ezj85A/FbNnE1dXR7VJzx0EUrDbzwOgKl8E=";
17 };
18
19 vendorHash = "sha256-FvboLGdT+/W5on7NSzRp9QfV2peNVICypSFWAGFakLU=";
20
21 nativeBuildInputs = [ pigeon ];
22
23 subPackages = [ "cmd/verifpal" ];
24
25 # goversioninfo is for Windows only and can be skipped during go generate
26 preBuild = ''
27 substituteInPlace cmd/verifpal/main.go --replace "go:generate goversioninfo" "(disabled goversioninfo)"
28 go generate verifpal.com/cmd/verifpal
29 '';
30
31 meta = {
32 homepage = "https://verifpal.com/";
33 description = "Cryptographic protocol analysis for students and engineers";
34 mainProgram = "verifpal";
35 maintainers = with lib.maintainers; [ zimbatm ];
36 license = with lib.licenses; [ gpl3 ];
37 };
38}