With commit e4e2a2a416ff2e98f6247cdf23f068e5369e7f0e, I gate the
following:
File "src/tools/why3extract.ml", line 1:
Error: The implementation src/tools/why3extract.ml
does not match the interface lib/why3/why3extract.cmi:
The module `Why3__Matrix' is required but not provided
The module `Why3__Array' is required but not provided
The module `Why3__IntAux' is required but not provided
The module `Why3__BigInt' is required but not provided
The module `Why3__BigInt_compat' is required but not provided
Makefile:2177: recipe for target 'src/tools/why3extract.cmx' failed
I've tried rerunning autoconf, automake, configure, and make clean, all
with no impact.
thanks,
julia
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
