`make install` should also install the Why3 library
Yes I know that one should do
make install-lib to install the library.
The problem is that if you do only
make install then an old version of the library might stay installed, which produces confusion errors afterwards. I think that
make install should either
- install also the library, or
- remove any older version of the library