On Sun, 22 Sep 2019, Mario Pereira wrote:
> Dear Graeme,
>
> Have you installed Why3 via opam? If that is the case, you should run
> `opam install why3-ide`.
If you installed it from source code, you need to be sure there is a Yes
in the output of configure for the ide. If there is a no, you are likley
missing gtk2.
julia
>
> Hope this helps.
>
> Best regards
> --
> Mário
>
> Le 22/09/19 à 00:01, Graeme Smith a écrit :
> > I have just installed Why3 on a Mac, and when I try to execute why3
> > ide ...
> > I get the error:
> >
> > 'ide' is not a Why3 command.
> >
> > Available commands:
> > config
> > doc
> > execute
> > extract
> > prove
> > realize
> > replay
> > session
> > shell
> > wc
> > webserver
> >
> > Any ideas of what the problem might be?
> >
> > Regards,
> > Graeme
> > _______________________________________________
> > Why3-club mailing list
> > [email protected]
> > https://lists.gforge.inria.fr/mailman/listinfo/why3-club
> _______________________________________________
> Why3-club mailing list
> [email protected]
> https://lists.gforge.inria.fr/mailman/listinfo/why3-club
>
_______________________________________________
Why3-club mailing list
[email protected]
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
