Package Details: proverif 2.00-2

Git Clone URL: https://aur.archlinux.org/proverif.git (read-only)
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: mgrabovsky
Last Packager: mgrabovsky
Votes: 2
Popularity: 0.000000
First Submitted: 2015-08-19 13:52
Last Updated: 2019-05-22 21:02

Dependencies (5)

Required by (0)

Sources (1)

Latest Comments

mgrabovsky commented on 2018-10-29 18:48

@greyfox That's strange. gcc should not be necessary to build the native binary, the build process only invokes standard OCaml commands. (See the build script in the source distribution.)

greyfox commented on 2018-10-26 20:00

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

Sorry about that :3

RealOrRandom commented on 2018-01-08 15:21

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

RealOrRandom commented on 2017-12-25 22:09

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

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

twiggers commented on 2016-03-29 20:26

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