Package Details: proverif 2.05-1

Git Clone URL: https://aur.archlinux.org/proverif.git (read-only, click to copy)
Package Base: proverif
Description: Cryptographic protocol verifier in the formal model
Upstream URL: http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
Keywords: formal-methods
Licenses: GPL
Submitter: mgrabovsky
Maintainer: gilcu3
Last Packager: gilcu3
Votes: 3
Popularity: 0.000000
First Submitted: 2015-08-19 13:52 (UTC)
Last Updated: 2024-05-19 09:59 (UTC)

Dependencies (4)

Required by (0)

Sources (1)

Latest Comments

« First ‹ Previous 1 2

greyfox commented on 2018-10-26 20:00 (UTC)

Hi, I had this error : sh: gcc : commande introuvable File "caml_startup", line 1: Error: Error during linking ==> ERREUR : Une erreur s’est produite dans build(). Abandon… ==> ERREUR : Makepkg n'a pas pu construire proverif.

You should add gcc to the dependencies.

mgrabovsky commented on 2018-01-08 15:51 (UTC)

Sorry about that :3

RealOrRandom commented on 2018-01-08 15:21 (UTC)

'ocaml-findlib' 'lablgtk2' and not 'ocaml-findlib lablgtk2' ;)

RealOrRandom commented on 2017-12-25 22:09 (UTC)

The 1.98pl1-1 build fails for me. This needs community/ocaml-findlib as build dep and extra/lablgtk2 as runtime deps. Then the build works.

The README says that this is optoinal, maybe this can be configured. http://prosecco.gforge.inria.fr/personal/bblanche/proverif/README (It also says that graphwiz is an optional dependency, maybe it's a good idea to add this as optional dependency to the package-)

mgrabovsky commented on 2016-03-30 09:49 (UTC)

@twiggers: Cannot reproduce. What version of OCaml are you using?

twiggers commented on 2016-03-29 20:26 (UTC)

I'm getting these errors while building: /usr/bin/ld: /usr/lib/ocaml/libasmrun.a(roots.o): relocation R_X86_64_32 against `caml_frametable' can not be used when making a shared object; recompile with -fPIC /usr/lib/ocaml/libasmrun.a: error adding symbols: Bad value collect2: error: ld returned 1 exit status File "caml_startup", line 1: Error: Error during linking 46 states, 476 transitions, table size 2180 bytes 65 states, 1398 transitions, table size 5982 bytes /usr/bin/ld: /usr/lib/ocaml/libasmrun.a(roots.o): relocation R_X86_64_32 against `caml_frametable' can not be used when making a shared object; recompile with -fPIC /usr/lib/ocaml/libasmrun.a: error adding symbols: Bad value collect2: error: ld returned 1 exit status File "caml_startup", line 1: Error: Error during linking

« First ‹ Previous 1 2