diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.12.2-deep_profiler.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.12.2-deep_profiler.patch | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/dev-lang/mercury/files/mercury-0.12.2-deep_profiler.patch b/dev-lang/mercury/files/mercury-0.12.2-deep_profiler.patch new file mode 100644 index 000000000000..3d55902e08a1 --- /dev/null +++ b/dev-lang/mercury/files/mercury-0.12.2-deep_profiler.patch @@ -0,0 +1,75 @@ +--- 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). |