[Easycrypt-club] probleme avec certicrypt

Sylvain Heraud sylvain.heraud at gmail.com
Ven 20 Avr 16:52:54 CEST 2012


Bonjour,

Peux tu nous écrire le résultat de la commande

> coqc -v

?

Tu es sur quelle système ?

2012/4/20 Jospin KOUENEZI <joelkouenezi at gmail.com>

> bonjour à vous , je suis très heureux de rejoindre ce groupe. je suis
> étudiant en licence3 en cryptographie.
> je travaille actuellement sur les preuves des algorithmes cryptographiques
> sur certicrypt( sur Coq) et easycript . Mais j'ai rencontré un probleme
> lors de l'installation de certicrypt sur Coq. j'ai suivi le README mais
> lorsque je *fais le make *etant dans le repertoire de certicrypt, j'ai
> une erreur  qui est la suivante:
>
> root at jospin-HP-620:/opt/certicrypt-0.1/certicrypt# make
> make: ocamlc.opt: Command not found
> cd ALEA ; make all
> make[1]: Entering directory `/opt/certicrypt-0.1/certicrypt/ALEA'
> coqc -dump-glob Ccpo.glob  -q  -I .    Ccpo
> File "./Ccpo.v", line 3, characters 36-37:
> Error: This command does not support the "Global" prefix.
> make[1]: *** [Ccpo.vo] Error 1
> make[1]: Leaving directory `/opt/certicrypt-0.1/certicrypt/ALEA'
> make: *** [ALEA] Error 2
> root at jospin-HP-620:/opt/certicrypt-0.1/certicrypt#
>
> .j'ai vraiment besoin d'aide s'il vous plaît. merci d'avance
>
>
> _______________________________________________
> Easycrypt-club mailing list
> Easycrypt-club at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/easycrypt-club
>
>
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/easycrypt-club/attachments/20120420/d8ae3e18/attachment.html>


More information about the Easycrypt-club mailing list