`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