Dear Mehdi,
Thanks for reporting this bug. It is now fixed in our development version.
Best regards,
--
Jean-Christophe
Mehdi Dogguy wrote:
> The problem is in the configure script. It checks if ocamldep.opt
> exists or not and save the result in $OCAMLDEP. Then, when it comes to
> ocamldep, $
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
The problem is in the configure script. It checks if ocamldep.opt
exists or not and save the result in $OCAMLDEP. Then, when it comes to
ocamldep, $OCAMLDEP has already a value so he answers no too if
ocaml-native-compilers is not installed.
He
2 matches
Mail list logo
