pyrox.dev
proverif: 2.02pl1 → 2.03
Do not build `proverif_interact` (that was not installed).
authored by
Vincent Laporte
and committed by
Vincent Laporte
b42501e1
ddf89d7d
+11
-11
pkgs/applications/science/logic/proverif/default.nix
+11
-11
pkgs/applications/science/logic/proverif/default.nix
···
2
3
stdenv.mkDerivation rec {
4
pname = "proverif";
5
-
version = "2.02pl1";
6
7
src = fetchurl {
8
-
url = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz";
9
-
sha256 = "1jmzfpx0hdgfmkq0jp6i3k5av9xxgndjaj743wfy37svn0ga4jjx";
10
};
11
12
-
buildInputs = with ocamlPackages; [ ocaml findlib lablgtk ];
13
14
-
buildPhase = "./build";
15
installPhase = ''
16
-
mkdir -p $out/bin
17
-
cp ./proverif $out/bin
18
-
cp ./proveriftotex $out/bin
19
install -D -t $out/share/emacs/site-lisp/ emacs/proverif.el
20
'';
21
22
meta = {
23
-
description = "Cryptographic protocol verifier in the Dolev-Yao model";
24
-
homepage = "https://prosecco.gforge.inria.fr/personal/bblanche/proverif/";
25
license = lib.licenses.gpl2;
26
platforms = lib.platforms.unix;
27
-
maintainers = [ lib.maintainers.thoughtpolice ];
28
};
29
}
···
2
3
stdenv.mkDerivation rec {
4
pname = "proverif";
5
+
version = "2.03";
6
7
src = fetchurl {
8
+
url = "https://bblanche.gitlabpages.inria.fr/proverif/proverif${version}.tar.gz";
9
+
sha256 = "sha256:1q5mp9il09jylimcaqczb3kh34gb5px88js127gxv0jj5b4bqfc7";
10
};
11
12
+
buildInputs = with ocamlPackages; [ ocaml findlib ];
13
14
+
buildPhase = "./build -nointeract";
15
installPhase = ''
16
+
runHook preInstall
17
+
install -D -t $out/bin proverif proveriftotex
18
install -D -t $out/share/emacs/site-lisp/ emacs/proverif.el
19
+
runHook postInstall
20
'';
21
22
meta = {
23
+
description = "Cryptographic protocol verifier in the formal model";
24
+
homepage = "https://bblanche.gitlabpages.inria.fr/proverif/";
25
license = lib.licenses.gpl2;
26
platforms = lib.platforms.unix;
27
+
maintainers = with lib.maintainers; [ thoughtpolice vbgl ];
28
};
29
}