[Why3-club] getting error during installation of the why3 latest version

Dragan dragan.stosic at gmail.com
Sat Mar 15 21:56:55 CET 2014

Hi all,
I am getting an error during installation of the latest why3 version from :

File "src/coq-tactic/g_why3tac.ml", line 1, characters 0-1:
Error: The files src/coq-tactic/why3tac.cmi
       and /usr/local/lib/coq/lib/genarg.cmi make inconsistent assumptions
       over interface Genarg
make: *** [src/coq-tactic/g_why3tac.cmx]

installed provers are :
Z3 version 4.3.1
Coq version 8.4pl3
PVS version 6.0

Any advice ?

Dragan Stosic
Senior developer at IBM
phone: 085-773-1050
e-mail: dragan.stosic at gmail.com
e-mail:DRAGANST at ie.ibm.com
IBM Technology Campus
Damastown Industrial Estate
Dublin 15
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/why3-club/attachments/20140315/efb51a52/attachment.html>

More information about the Why3-club mailing list