Merge pull request #67607 from zimbatm/verifpal-0.2

verifpal: init at 0.2
This commit is contained in:
zimbatm 2019-08-30 21:56:52 +02:00 committed by GitHub
commit 3d0af7848c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 143 additions and 0 deletions

View file

@ -0,0 +1,22 @@
{ lib, buildGoPackage, fetchFromGitHub }:
buildGoPackage {
pname = "pigeon";
version = "20190810-f3db42a662";
goPackagePath = "github.com/mna/pigeon";
goDeps = ./deps.nix;
src = fetchFromGitHub {
owner = "mna";
repo = "pigeon";
rev = "f3db42a662eded7550fc7cd11605d05311dfa30f";
sha256 = "1n0zqidwbqqfslrirpbqw14ylgiry6ggcp9ll4h8rf1chqwk6dhv";
};
meta = {
homepage = "https://github.com/mna/pigeon";
description = "A PEG parser generator for Go";
maintainers = with lib.maintainers; [ zimbatm ];
license = with lib.licenses; [ bsd3 ];
};
}

66
pkgs/development/tools/pigeon/deps.nix generated Normal file
View file

@ -0,0 +1,66 @@
# file generated from go.mod using vgo2nix (https://github.com/adisbladis/vgo2nix)
[
{
goPackagePath = "golang.org/x/crypto";
fetch = {
type = "git";
url = "https://go.googlesource.com/crypto";
rev = "c2843e01d9a2";
sha256 = "01xgxbj5r79nmisdvpq48zfy8pzaaj90bn6ngd4nf33j9ar1dp8r";
};
}
{
goPackagePath = "golang.org/x/net";
fetch = {
type = "git";
url = "https://go.googlesource.com/net";
rev = "3b0461eec859";
sha256 = "0l00c8l0a8xnv6qdpwfzxxsr58jggacgzdrwiprrfx2xqm37b6d5";
};
}
{
goPackagePath = "golang.org/x/sync";
fetch = {
type = "git";
url = "https://go.googlesource.com/sync";
rev = "112230192c58";
sha256 = "05i2k43j2d0llq768hg5pf3hb2yhfzp9la1w5wp0rsnnzblr0lfn";
};
}
{
goPackagePath = "golang.org/x/sys";
fetch = {
type = "git";
url = "https://go.googlesource.com/sys";
rev = "d0b11bdaac8a";
sha256 = "18yfsmw622l7gc5sqriv5qmck6903vvhivpzp8i3xfy3z33dybdl";
};
}
{
goPackagePath = "golang.org/x/text";
fetch = {
type = "git";
url = "https://go.googlesource.com/text";
rev = "v0.3.0";
sha256 = "0r6x6zjzhr8ksqlpiwm5gdd7s209kwk5p4lw54xjvz10cs3qlq19";
};
}
{
goPackagePath = "golang.org/x/tools";
fetch = {
type = "git";
url = "https://go.googlesource.com/tools";
rev = "b29f5f60c37a";
sha256 = "118rvb59hc1fykbmif4008rbxw1p0dblc8dxkq96yaapd6p0vbpn";
};
}
{
goPackagePath = "golang.org/x/xerrors";
fetch = {
type = "git";
url = "https://go.googlesource.com/xerrors";
rev = "a985d3407aa7";
sha256 = "00wzr5w8aadipgc3rkk8f11i41znskfj9ix5nhhaxyg7isrslgcj";
};
}
]

View file

@ -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"];
};
}

12
pkgs/tools/security/verifpal/deps.nix generated Normal file
View file

@ -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";
};
}
]

View file

@ -24822,4 +24822,9 @@ in
uhubctl = callPackage ../tools/misc/uhubctl {};
kodelife = callPackage ../applications/graphics/kodelife {};
pigeon = callPackage ../development/tools/pigeon {};
verifpal = callPackage ../tools/security/verifpal {};
}