Le 10/08/2020 à 15:00, Sandrine Blazy a écrit :
> Hi,
> can anyone help with this installation failure?
Your C compiler is right to complain; this is an unfortunate mistake on
Why3's side. So, short of modifying the sources of Why3 by hand as
instructed by the compiler, there is not much you can
Hi,
can anyone help with this installation failure?
Thanks,
Sandrine
% opam install why3
The following actions will be performed:
∗ install why3 1.3.1
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[why3.1.3.1] found in cache
<><> Processing actions