[m-rev.] for review: automatic test to enable deep profiling

[Peter Ross]

Hi,

===================================================================


Estimated hours taken: 0.25
Branches: main

configure.in:
    Enable deep profiling if the header file unistd.h exists.  Currently
    this is sufficient to automatically distinguish between the systems
    where deep profiling works.


Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.260
diff -u -r1.260 configure.in
--- configure.in	2001/06/05 14:14:53	1.260
+++ configure.in	2001/06/05 15:32:22
@@ -2109,12 +2109,16 @@
 #
 # Add an option that disables the deep profiler.
 #
-AC_ARG_ENABLE(deep-profiler,
-    [  --enable-deep-profiler  enable the deep profiler],
-	mercury_cv_enable_deep_profiler="$enableval",
-	mercury_cv_enable_deep_profiler=no
-)
 AC_MSG_CHECKING(whether to enable the deep profiler)
+
+    # This test may need to be made more specific at a later date.  For
+    # moment it is sufficient to distinguish between win32 and unix systems.
+if test "$HAVE_UNISTD_H" = 1; then
+    mercury_cv_enable_deep_profiler=yes
+else
+    mercury_cv_enable_deep_profiler=no
+fi
+
 AC_MSG_RESULT($mercury_cv_enable_deep_profiler)
 ENABLE_DEEP_PROFILER=$mercury_cv_enable_deep_profiler
 AC_SUBST(ENABLE_DEEP_PROFILER)

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------