mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-21 20:49:52 +03:00
statverif: init at 1.86pl4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
parent
be19637b2a
commit
a69799c740
34
pkgs/applications/science/logic/statverif/default.nix
Normal file
34
pkgs/applications/science/logic/statverif/default.nix
Normal file
@ -0,0 +1,34 @@
|
||||
{ stdenv, fetchurl, ocaml }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "statverif-${version}";
|
||||
version = "1.86pl4";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz";
|
||||
sha256 = "163vdcixs764jj8xa08w80qm4kcijf7xj911yp8jvz6pi1q5g13i";
|
||||
};
|
||||
|
||||
pf-patch = fetchurl {
|
||||
url = "http://markryan.eu/research/statverif/files/proverif-${version}-statverif-2657ab4.patch";
|
||||
sha256 = "113jjhi1qkcggbsmbw8fa9ln8vs7vy2r288szks7rn0jjn0wxmbw";
|
||||
};
|
||||
|
||||
buildInputs = [ ocaml ];
|
||||
|
||||
patchPhase = "patch -p1 < ${pf-patch}";
|
||||
buildPhase = "./build";
|
||||
installPhase = ''
|
||||
mkdir -p $out/bin
|
||||
cp ./proverif $out/bin/statverif
|
||||
cp ./proveriftotex $out/bin/statveriftotex
|
||||
'';
|
||||
|
||||
meta = {
|
||||
description = "Verification of stateful processes (via Proverif)";
|
||||
homepage = "http://markryan.eu/research/statverif/";
|
||||
license = stdenv.lib.licenses.gpl2;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
|
||||
};
|
||||
}
|
@ -16367,6 +16367,8 @@ in
|
||||
|
||||
spass = callPackage ../applications/science/logic/spass {};
|
||||
|
||||
statverif = callPackage ../applications/science/logic/statverif { };
|
||||
|
||||
tptp = callPackage ../applications/science/logic/tptp {};
|
||||
|
||||
twelf = callPackage ../applications/science/logic/twelf {
|
||||
|
Loading…
Reference in New Issue
Block a user