On Wed, 18 Mar 2020, Guillaume Melquiond wrote:
> Le 18/03/2020 à 12:28, Julia Lawall a écrit :
>
> > What should I do to get why3 to use the right file? I tried rerunning
> > make, but it didn't do anything. Do I need to change my configuration
> > file somehow?
>
> The file that is located the "drivers" directory contained in a
> directory that is either given by the WHY3DATA environment variable or
> by the "datadir" symbol in file src/util/config.ml.
>
> I guess you could also use strace:
>
> strace -e file why3 ide foo.mlw |& grep cvc4_17
OK, it seems that it is necessary to do a make install after making such
a change.
julia
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
