Hello,
I tryed to reinstall why3 (0.87.2) from opam (opam reinstall why3) but there is
the error "anomaly: Sys_error("/Users/mac/.opam/system/lib/why3/commands: No
such file or directory")" and I dont know how to fix it.
Kind regards,
Geoffrey
----- Mail original -----
De: "Guillaume Melquiond" <guillaume.melqui...@inria.fr>
À: "why3-club" <why3-club@lists.gforge.inria.fr>
Envoyé: Vendredi 13 Janvier 2017 09:00:33
Objet: Re: [Why3-club] Why3 install
On 12/01/2017 17:55, Geoffrey Guettier wrote:
> Hello,
>
> I tryed to install why3-0.87.3 but i habe an error when i run any why3
> command :
> anomaly: Sys_error("/Users/mac/.opam/system/lib/why3/commands: No such file
> or directory")
That is quite surprising. Why would a why3 command you have compiled by
hand look for subcommands into an opam-owned directory? Are you sure you
are running the executable you just compiled/installed?
> Then tryed to reinstall why3-0.87.2 but when I run "make" i have the error :
> File "src/ide/gmain.ml", line 1:
> Error: Wrong file naming: /Users/mac/.opam/system/lib/lablgtk2/gmain.cmi
> contains the compiled interface for
> GMain when Gmain was expected
> make: *** [src/ide/gmain.cmx] Error 2
Yes, this is one of the bugs fixed by the 0.87.3 release.
Best regards,
Guillaume
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
http://lists.gforge.inria.fr/mailman/listinfo/why3-club
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
http://lists.gforge.inria.fr/mailman/listinfo/why3-club
