Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: a2f50c02cc7a
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: e59c610d5888
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Oct 27, 2019

  1. verifpal: 0.2.0 → 0.7.5 (#72026)

    @jtojnar @ehmry
    jtojnar authored and ehmry committed Oct 27, 2019
    Copy the full SHA
    e59c610 View commit details
Showing with 13 additions and 9 deletions.
  1. +13 −9 pkgs/tools/security/verifpal/default.nix
22 changes: 13 additions & 9 deletions pkgs/tools/security/verifpal/default.nix
View file
Original file line number Diff line number Diff line change
@@ -1,24 +1,28 @@
{ lib, fetchFromGitHub, buildGoPackage, pigeon }:
{ lib
, fetchgit
, buildGoPackage
, pigeon
}:

buildGoPackage rec {
pname = "verifpal";
version = "0.2";
version = "0.7.5";

goPackagePath = "github.com/SymbolicSoft/verifpal";
goDeps = ./deps.nix;

src = fetchFromGitHub {
owner = "SymbolicSoft";
repo = pname;
src = fetchgit {
url = "https://source.symbolic.software/verifpal/verifpal.git";
rev = version;
sha256 = "08a0xvgg94k6vq91ylvgi97kpkjbw0rw172v2dzwl2rfpzkigk1r";
sha256 = "0njgn6j5qg5kgid6ddv23axhw5gwjbayhdjkj4ya08mnxndr284m";
};

nativeBuildInputs = [ pigeon ];

postPatch = ''
sed -e 's|/bin/echo |echo |g' -i Makefile
'';

buildInputs = [ pigeon ];

buildPhase = ''
make -C go/src/$goPackagePath parser linux
'';
@@ -33,6 +37,6 @@ buildGoPackage rec {
description = "Cryptographic protocol analysis for students and engineers";
maintainers = with lib.maintainers; [ zimbatm ];
license = with lib.licenses; [ gpl3 ];
platforms = ["x86_64-linux"];
platforms = [ "x86_64-linux" ];
};
}