tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchurl,
5 ocaml,
6}:
7
8stdenv.mkDerivation rec {
9 pname = "statverif";
10 version = "1.86pl4";
11
12 src = fetchurl {
13 url = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz";
14 sha256 = "163vdcixs764jj8xa08w80qm4kcijf7xj911yp8jvz6pi1q5g13i";
15 };
16
17 pf-patch = fetchurl {
18 url = "http://markryan.eu/research/statverif/files/proverif-${version}-statverif-2657ab4.patch";
19 sha256 = "113jjhi1qkcggbsmbw8fa9ln8vs7vy2r288szks7rn0jjn0wxmbw";
20 };
21
22 strictDeps = true;
23
24 nativeBuildInputs = [ ocaml ];
25
26 patchPhase = "patch -p1 < ${pf-patch}";
27 buildPhase = "./build";
28 installPhase = ''
29 mkdir -p $out/bin
30 cp ./proverif $out/bin/statverif
31 cp ./proveriftotex $out/bin/statveriftotex
32 '';
33
34 meta = {
35 description = "Verification of stateful processes (via Proverif)";
36 homepage = "https://markryan.eu/research/statverif/";
37 license = lib.licenses.gpl2;
38 platforms = lib.platforms.unix;
39 maintainers = [ lib.maintainers.thoughtpolice ];
40 };
41}