[Why3-club] problem with why3config

Alan Schmitt alan.schmitt at polytechnique.org
Fri Feb 17 12:10:22 CET 2012


On 17 Feb 2012, at 10:21, Andrei Paskevich wrote:

> Hi,
>
> just to check, could you add the option "-linkall" to the makefile
> variable OFLAGS (line 72 in Makefile.in) and see if the problem
> persists?

Unfortunately it does.

Alan



More information about the Why3-club mailing list