mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-08 18:34:00 +00:00
Code Issues Projects Releases Wiki Activity

Build the dependencies even if deep profiling isn't enabled.

Browse Source 
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.
This commit is contained in:
Fergus Henderson
2004-02-08 11:53:22 +00:00
parent 7313f8cad4
commit 2e2d3c0447
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
deep_profiler/Mmakefile
View File

@@ -1,5 +1,5 @@
#-----------------------------------------------------------------------------#
# Copyright (C) 1995-2003 The University of Melbourne.
# Copyright (C) 1995-2004 The University of Melbourne.
# This file may only be copied under the terms of the GNU General
# Public Licence - see the file COPYING in the Mercury distribution.
#-----------------------------------------------------------------------------#
@@ -24,7 +24,11 @@ ifeq ("$(ENABLE_DEEP_PROFILER)","yes")
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