Package Details: verifpal 0.20.0-1

Git Clone URL: https://aur.archlinux.org/verifpal.git (read-only, click to copy)
Package Base: verifpal
Description: Cryptographic protocol analysis for students and engineers.
Upstream URL: https://verifpal.com/
Licenses: GPL
Submitter: PhCl
Maintainer: None
Last Packager: PhCl
Votes: 0
Popularity: 0.000000
First Submitted: 2020-06-22 12:56
Last Updated: 2020-12-25 19:08

Latest Comments

PhCl commented on 2021-02-02 14:38

I'm not familiar enough with the Go ecosystem. Verifpal assumes that the binary "pigeon" gets installed, but "make dep" only downloads the sources. Disowning, hoping someone else knows how to fix it.

PhCl commented on 2021-02-02 12:06

Confirmed. When building on a clean VM, I also get the : running "pigeon": exec: "pigeon": executable file not found error. I'll try to find a solution.

Perseids commented on 2021-01-18 15:10

I get the same error:

[Verifpal] Installing dependenciesgo: downloading github.com/logrusorgru/aurora v2.0.3+incompatible
.go: downloading github.com/mna/pigeon v1.0.0
.go: downloading github.com/spf13/cobra v1.1.1
go: downloading github.com/inconshreveable/mousetrap v1.0.0
go: downloading github.com/spf13/pflag v1.0.5
go: github.com/spf13/pflag upgrade => v1.0.5
.go: downloading github.com/josephspurrier/goversioninfo v1.2.0
go: found github.com/josephspurrier/goversioninfo/cmd/goversioninfo in github.com/josephspurrier/goversioninfo v1.2.0
go: downloading github.com/akavel/rsrc v0.10.1
go: github.com/akavel/rsrc upgrade => v0.10.1
       OK
[Verifpal] Building Verifpal for Linux...cmd/verifpal/main.go:6: running "pigeon": exec: "pigeon": executable file not found in $PATH
make: *** [Makefile:20: linux] Error 1
==> ERROR: A failure occurred in build().
    Aborting...
error: failed to build 'verifpal-0.20.0-1':

PhCl commented on 2020-11-06 00:03

Cannot reproduce the error, neither with 0.19.1 nor with 0.19.3. Do you see any error messages? "pigeon" should be downloaded:

==> Starting build()...
[Verifpal] Installing dependenciesgo: downloading github.com/logrusorgru/aurora v2.0.3+incompatible
.go: downloading github.com/mna/pigeon v1.0.0
.go: downloading github.com/spf13/cobra v1.1.1
go: downloading github.com/spf13/pflag v1.0.5
go: downloading github.com/inconshreveable/mousetrap v1.0.0
go: github.com/spf13/pflag upgrade => v1.0.5
.go: downloading github.com/josephspurrier/goversioninfo v1.2.0
go: found github.com/josephspurrier/goversioninfo/cmd/goversioninfo in github.com/josephspurrier/goversioninfo v1.2.0
go: downloading github.com/akavel/rsrc v0.9.0
go: github.com/akavel/rsrc upgrade => v0.9.0
       OK
[Verifpal] Building Verifpal for Linux...   OK

tasn commented on 2020-11-04 15:35

Hey,

Doesn't compile. :(

[Verifpal] Building Verifpal for Linux...cmd/verifpal/main.go:7: running "pigeon": exec: "pigeon": executable file not found in $PATH

Thanks!