[m-rev.] diff: fix source dist deep_profiler bug

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main, release

deep_profiler/Mmakefile:
	Build the dependencies even if deep profiling isn't enabled.
	This is needed because when building the source .tar.gz
	distribution, we need to build the .c files even if deep
	profiling isn't enabled on the machine we're using to build
	the source distribution, because it might end up being enabled
	when we go to install the source distribution on the user's machine.

Workspace: /home/jupiter/fjh/ws-jupiter-0.11/mercury
Index: deep_profiler/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/deep_profiler/Mmakefile,v
retrieving revision 1.5.2.2
diff -u -d -r1.5.2.2 Mmakefile
--- deep_profiler/Mmakefile	2 Dec 2002 11:54:31 -0000	1.5.2.2
+++ deep_profiler/Mmakefile	8 Feb 2004 11:49:19 -0000
@@ -24,7 +24,11 @@
 else
 	MAIN_TARGET=nothing
 	MERCURY_MAIN_MODULES=
-	DEPEND=nothing
+	# When building the source .tar.gz distribution, we need to
+	# include the generated .c files for the deep profiler,
+	# even if deep profiling wasn't enabled on this host.
+	# That implies that we need to make the dependencies.
+	DEPEND=mdprof_cgi.depend mdprof_test.depend
 	INSTALL=nothing
 endif
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------