-----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.
Here is a patch to solve the problem :
- --- why/why-2.10/configure 2007-12-21 09:34:10.000000000 +0100
+++ /tmp/configure 2008-01-08 13:37:30.000000000 +0100
@@ -603,6 +603,7 @@
OCAMLOPT
OCAMLCDOTOPT
OCAMLOPTDOTOPT
+OCAMLDEPOPT
OCAMLDEP
OCAMLLEX
OCAMLLEXDOTOPT
@@ -1907,11 +1908,11 @@
set dummy ocamldep.opt; ac_word=$2
{ echo "$as_me:$LINENO: checking for $ac_word" >&5
echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }
- -if test "${ac_cv_prog_OCAMLDEP+set}" = set; then
+if test "${ac_cv_prog_OCAMLDEPOPT+set}" = set; then
echo $ECHO_N "(cached) $ECHO_C" >&6
else
- - if test -n "$OCAMLDEP"; then
- - ac_cv_prog_OCAMLDEP="$OCAMLDEP" # Let the user override the test.
+ if test -n "$OCAMLDEPOPT"; then
+ ac_cv_prog_OCAMLDEPOPT="$OCAMLDEPOPT" # Let the user override the
test.
else
as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
for as_dir in $PATH
@@ -1920,7 +1921,7 @@
test -z "$as_dir" && as_dir=.
for ac_exec_ext in '' $ac_executable_extensions; do
if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_executable_p
"$as_dir/$ac_word$ac_exec_ext"; }; then
- - ac_cv_prog_OCAMLDEP="ocamldep.opt"
+ ac_cv_prog_OCAMLDEPOPT="ocamldep.opt"
echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5
break 2
fi
@@ -1928,7 +1929,7 @@
done
IFS=$as_save_IFS
- - test -z "$ac_cv_prog_OCAMLDEP" && ac_cv_prog_OCAMLDEP="no"
+ test -z "$ac_cv_prog_OCAMLDEPOPT" && ac_cv_prog_OCAMLDEPOPT="no"
fi
fi
OCAMLDEP=$ac_cv_prog_OCAMLDEP
- --
Mehdi Dogguy
http://www.pps.jussieu.fr/~dogguy/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHg3CAhryr/xwAx5ARAsNyAJ4sRZdAkL4ZGIu5HQDQBDrjoKxzSgCfchc+
AHVbx8Z7EYdnSbi8kZYwM5s=
=HK6d
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
