From be19637b2af3a75fbc96fe9cd3ead5caac2800ff Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Fri, 24 Jun 2016 00:06:53 +0000 Subject: [PATCH] proverif: init at 1.94 Signed-off-by: Austin Seipp --- .../science/logic/proverif/default.nix | 28 +++++++++++++++++++ pkgs/top-level/all-packages.nix | 2 ++ 2 files changed, 30 insertions(+) create mode 100644 pkgs/applications/science/logic/proverif/default.nix diff --git a/pkgs/applications/science/logic/proverif/default.nix b/pkgs/applications/science/logic/proverif/default.nix new file mode 100644 index 00000000000..4f5e9155078 --- /dev/null +++ b/pkgs/applications/science/logic/proverif/default.nix @@ -0,0 +1,28 @@ +{ stdenv, fetchurl, ocaml }: + +stdenv.mkDerivation rec { + name = "proverif-${version}"; + version = "1.94"; + + src = fetchurl { + url = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz"; + sha256 = "0dv2hgk76y0ap7dwf80qd94dmxjw47c50iavxgq5702k1d6qap56"; + }; + + buildInputs = [ ocaml ]; + + buildPhase = "./build"; + installPhase = '' + mkdir -p $out/bin + cp ./proverif $out/bin + cp ./proveriftotex $out/bin + ''; + + meta = { + description = "Cryptographic protocol verifier in the Dolev-Yao model"; + homepage = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/"; + license = stdenv.lib.licenses.gpl2; + platforms = stdenv.lib.platforms.unix; + maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 98da5f41993..c83981ef794 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16359,6 +16359,8 @@ in prover9 = callPackage ../applications/science/logic/prover9 { }; + proverif = callPackage ../applications/science/logic/proverif { }; + satallax = callPackage ../applications/science/logic/satallax {}; saw-tools = callPackage ../applications/science/logic/saw-tools {};