ppx_deriving dependency
The compilation of Why3 fails if ppx_deriving is not installed. Maybe the configure script should fail if the library is not installed?
The compilation of Why3 fails if ppx_deriving is not installed. Maybe the configure script should fail if the library is not installed?