diff options
| author | zimbatm <zimbatm@zimbatm.com> | 2019-08-28 10:07:11 +0200 |
|---|---|---|
| committer | zimbatm <zimbatm@zimbatm.com> | 2019-08-30 21:56:12 +0200 |
| commit | 792bb4f7f6952204eaa1d5341e5743bdb159ef96 (patch) | |
| tree | 15058e5d4f598fda229c6cc3f90adf456543408e | |
| parent | 027b117feee14e0c89c88e16a336307ffc742de2 (diff) | |
| download | nixpkgs-792bb4f7f6952204eaa1d5341e5743bdb159ef96.tar nixpkgs-792bb4f7f6952204eaa1d5341e5743bdb159ef96.tar.gz nixpkgs-792bb4f7f6952204eaa1d5341e5743bdb159ef96.tar.bz2 nixpkgs-792bb4f7f6952204eaa1d5341e5743bdb159ef96.tar.lz nixpkgs-792bb4f7f6952204eaa1d5341e5743bdb159ef96.tar.xz nixpkgs-792bb4f7f6952204eaa1d5341e5743bdb159ef96.tar.zst nixpkgs-792bb4f7f6952204eaa1d5341e5743bdb159ef96.zip | |
verifpal: init at 0.2
| -rw-r--r-- | pkgs/tools/security/verifpal/default.nix | 38 | ||||
| -rw-r--r-- | pkgs/tools/security/verifpal/deps.nix | 12 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
3 files changed, 52 insertions, 0 deletions
diff --git a/pkgs/tools/security/verifpal/default.nix b/pkgs/tools/security/verifpal/default.nix new file mode 100644 index 00000000000..3b72cf3bd53 --- /dev/null +++ b/pkgs/tools/security/verifpal/default.nix @@ -0,0 +1,38 @@ +{ lib, fetchFromGitHub, buildGoPackage, pigeon }: +buildGoPackage rec { + pname = "verifpal"; + version = "0.2"; + + goPackagePath = "github.com/SymbolicSoft/verifpal"; + goDeps = ./deps.nix; + + src = fetchFromGitHub { + owner = "SymbolicSoft"; + repo = pname; + rev = version; + sha256 = "08a0xvgg94k6vq91ylvgi97kpkjbw0rw172v2dzwl2rfpzkigk1r"; + }; + + postPatch = '' + sed -e 's|/bin/echo |echo |g' -i Makefile + ''; + + buildInputs = [ pigeon ]; + + buildPhase = '' + make -C go/src/$goPackagePath parser linux + ''; + + installPhase = '' + mkdir -p $bin/bin + cp go/src/$goPackagePath/build/bin/linux/verifpal $bin/bin/ + ''; + + meta = { + homepage = "https://verifpal.com/"; + description = "Cryptographic protocol analysis for students and engineers"; + maintainers = with lib.maintainers; [ zimbatm ]; + license = with lib.licenses; [ gpl3 ]; + platforms = ["x86_64-linux"]; + }; +} diff --git a/pkgs/tools/security/verifpal/deps.nix b/pkgs/tools/security/verifpal/deps.nix new file mode 100644 index 00000000000..aaa4269416a --- /dev/null +++ b/pkgs/tools/security/verifpal/deps.nix @@ -0,0 +1,12 @@ +# file generated from go.mod using vgo2nix (https://github.com/adisbladis/vgo2nix) +[ + { + goPackagePath = "github.com/logrusorgru/aurora"; + fetch = { + type = "git"; + url = "https://github.com/logrusorgru/aurora"; + rev = "94edacc10f9b"; + sha256 = "0bhwy3rrd8mwb8xjwf44nj6vmxaj5hdvayvszr1rskkmz08l5v01"; + }; + } +] diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a8e9b52550b..f986c32c717 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -24891,4 +24891,6 @@ in pigeon = callPackage ../development/tools/pigeon {}; + verifpal = callPackage ../tools/security/verifpal {}; + } |