diff options
author | zimbatm <zimbatm@zimbatm.com> | 2019-08-30 21:56:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-30 21:56:52 +0200 |
commit | 3d0af7848c44723c048afb778f4a72ce60f3ed09 (patch) | |
tree | 8bdf4cab3d50a7d7ae7e35c1b18beee4b9f284db /pkgs/tools/security | |
parent | 765596278bdd2a1e7696538413d8ccb4fbf88f03 (diff) | |
parent | 792bb4f7f6952204eaa1d5341e5743bdb159ef96 (diff) |
Merge pull request #67607 from zimbatm/verifpal-0.2
verifpal: init at 0.2
Diffstat (limited to 'pkgs/tools/security')
-rw-r--r-- | pkgs/tools/security/verifpal/default.nix | 38 | ||||
-rw-r--r-- | pkgs/tools/security/verifpal/deps.nix | 12 |
2 files changed, 50 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"; + }; + } +] |