[m-rev.] for review: --disable-deep-profiler

[Peter Ross]

Hi,


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


Estimated hours taken: 1
Branches: main

Mmake.common.in:
configure.in:
deep_profiler/Mmakefile:
    Implement the --disable-deep-profiler option.


Index: Mmake.common.in
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmake.common.in,v
retrieving revision 1.56
diff -u -r1.56 Mmake.common.in
--- Mmake.common.in	2001/05/19 13:54:48	1.56
+++ Mmake.common.in	2001/06/05 13:16:48
@@ -189,6 +189,9 @@
 # the stage2 and stage3 directories). 
 INCLUDE_ADITI_OUTPUT = @ENABLE_ADITI_BACK_END@
 
+# Do we disable building of the deep profiler.
+DISABLE_DEEP_PROFILER=@DISABLE_DEEP_PROFILER@
+
 #-----------------------------------------------------------------------------#
 
 INSTALL_INFO=@INSTALL_INFO@
Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.259
diff -u -r1.259 configure.in
--- configure.in	2001/06/01 12:23:26	1.259
+++ configure.in	2001/06/05 13:16:49
@@ -2106,6 +2106,21 @@
 	AC_DEFINE(MR_DISABLE_DECLARATIVE_DEBUGGER)
 fi
 #-----------------------------------------------------------------------------#
+#
+# Add an option that disables the deep profiler.
+#
+AC_ARG_ENABLE(deep-profiler,
+	[  --disable-deep-profiler disable the deep profiler],
+	mercury_cv_enable_deep_profiler="$enableval",
+	mercury_cv_enable_deep_profiler=yes
+)
+if test "$mercury_cv_enable_deep_profiler" = "no"; then
+    DISABLE_DEEP_PROFILER=yes
+else
+    DISABLE_DEEP_PROFILER=no
+fi
+AC_SUBST(DISABLE_DEEP_PROFILER)
+#-----------------------------------------------------------------------------#
 
 # Determine how many of the r registers (r1, r2, ...) are real registers.
 # Determine how many temporaries may be allocated real registers.
Index: deep_profiler/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/deep_profiler/Mmakefile,v
retrieving revision 1.1
diff -u -r1.1 Mmakefile
--- deep_profiler/Mmakefile	2001/05/31 05:59:56	1.1
+++ deep_profiler/Mmakefile	2001/06/05 13:16:49
@@ -11,7 +11,13 @@
 MERCURY_DIR=..
 include $(MERCURY_DIR)/Mmake.common
 
-MAIN_TARGET=mdprof_cgi mdprof_server
+ifeq ("$(DISABLE_DEEP_PROFILER)","no")
+	MAIN_TARGET=mdprof_cgi mdprof_server
+	DEPEND=mdprof_cgi.depend mdprof_server.depend
+else
+	MAIN_TARGET=nothing
+	DEPEND=nothing
+endif
 
 VPATH=$(LIBRARY_DIR)
 
@@ -61,8 +67,11 @@
 
 #-----------------------------------------------------------------------------#
 
+.PHONY: nothing
+nothing:
+
 .PHONY: depend
-depend:	mdprof_cgi.depend mdprof_server.depend
+depend:	$(DEPEND)
 
 .PHONY: all
 all:	mdprof_cgi mdprof_server

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