Open trou opened 5 years ago
When ldd cannot find libgmp, it's because the user did not run eval $(ocaml-env cygwin). Add a message.
ldd
eval $(ocaml-env cygwin)
When
ldd
cannot find libgmp, it's because the user did not runeval $(ocaml-env cygwin)
. Add a message.