--- mercury-compiler-0.12.2.orig/configure 2006-01-25 17:24:01.000000000 +1300 +++ mercury-compiler-0.12.2/configure 2006-09-17 21:17:26.000000000 +1200 @@ -8482,14 +8482,14 @@ esac case $enable_deep_profiler in - default) - if test -d $mercury_cv_default_cgi_dir; then - mercury_cv_enable_deep_profiler=$mercury_cv_can_enable_deep_profiler - mercury_cv_cgi_dir=$mercury_cv_default_cgi_dir - else - mercury_cv_enable_deep_profiler=no - fi - ;; +# default) +# if test -d $mercury_cv_default_cgi_dir; then +# mercury_cv_enable_deep_profiler=$mercury_cv_can_enable_deep_profiler +# mercury_cv_cgi_dir=$mercury_cv_default_cgi_dir +# else +# mercury_cv_enable_deep_profiler=no +# fi +# ;; no) mercury_cv_enable_deep_profiler=no ;; @@ -8514,17 +8514,17 @@ ;; esac -if test $mercury_cv_enable_deep_profiler = yes; then - if test -d $mercury_cv_cgi_dir; then - true - else - echo "$as_me:$LINENO: result: $enable_deep_profiler" >&5 -echo "${ECHO_T}$enable_deep_profiler" >&6 - { { echo "$as_me:$LINENO: error: CGI script directory $mercury_cv_cgi_dir does not exist" >&5 -echo "$as_me: error: CGI script directory $mercury_cv_cgi_dir does not exist" >&2;} - { (exit 1); exit 1; }; } - fi -fi +#if test $mercury_cv_enable_deep_profiler = yes; then +# if test -d $mercury_cv_cgi_dir; then +# true +# else +# echo "$as_me:$LINENO: result: $enable_deep_profiler" >&5 +#echo "${ECHO_T}$enable_deep_profiler" >&6 +# { { echo "$as_me:$LINENO: error: CGI script directory $mercury_cv_cgi_dir does not exist" >&5 +#echo "$as_me: error: CGI script directory $mercury_cv_cgi_dir does not exist" >&2;} +# { (exit 1); exit 1; }; } +# fi +#fi echo "$as_me:$LINENO: result: $mercury_cv_enable_deep_profiler" >&5 echo "${ECHO_T}$mercury_cv_enable_deep_profiler" >&6 --- mercury-compiler-0.12.2.orig/deep_profiler/Mmakefile 2005-01-14 18:53:29.000000000 +1300 +++ mercury-compiler-0.12.2/deep_profiler/Mmakefile 2006-09-17 21:04:34.000000000 +1200 @@ -140,12 +140,12 @@ # executed when we do the install. The mv is of course expected to # fail during a first-time installation. The rm is before the move # in case this is the third or later installation. - -if test $(ENABLE_DEEP_PROFILER) = yes ; then \ - rm $(INSTALL_CGI_DIR)/mdprof_cgi.was ; \ - mv $(INSTALL_CGI_DIR)/mdprof_cgi \ - $(INSTALL_CGI_DIR)/mdprof_cgi.was ; \ - cp mdprof_cgi $(INSTALL_CGI_DIR) ; \ - fi + #-if test $(ENABLE_DEEP_PROFILER) = yes ; then \ + # rm $(INSTALL_CGI_DIR)/mdprof_cgi.was ; \ + # mv $(INSTALL_CGI_DIR)/mdprof_cgi \ + # $(INSTALL_CGI_DIR)/mdprof_cgi.was ; \ + # cp mdprof_cgi $(INSTALL_CGI_DIR) ; \ + #fi # We also install mdprof_cgi in $(INSTALL_MERC_BIN_DIR). # This is done just so that it can easily get put in the # binary distribution (even if the step above failed).