mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Ensure that things get recompiled properly if you modify the

Browse Source 
Mmakefile:
library/Mmakefile:
	Ensure that things get recompiled properly if you modify the
	VERSION file and the run `mmake' from the top-level directory.

Also an unrelated change:

Mmakefile:
	Add a new `install_main' target, which is like
	`install' except that it doesn't invoke `install_grades'.
This commit is contained in:
Fergus Henderson
1998-04-28 06:15:14 +00:00
parent c95ddbceec
commit 9856ec7b08
2 changed files with 13 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
Mmakefile
View File

@@ -144,7 +144,7 @@ tags_profiler:
configure: configure.in
autoconf
config.status: configure
config.status: configure VERSION
if [ -f ./config.status ]; then \
./config.status --recheck; \
else \
@@ -219,11 +219,13 @@ version:
#-----------------------------------------------------------------------------#
.PHONY: install
install: all $(PREINSTALL_HACK) \
install: install_main install_grades
.PHONY: install_main
install_main: all $(PREINSTALL_HACK) \
install_scripts install_util install_runtime install_boehm_gc \
install_library install_compiler install_profiler install_doc \
$(POSTINSTALL_HACK) \
install_grades
$(POSTINSTALL_HACK)
.PHONY: install_scripts
install_scripts: scripts