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,  $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
> 



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to