[m-rev.] trivial diff: fix --install-prefix substitution in Mercury.config

[Peter Wang]

Estimated hours taken: 0.1
Branches: main

scripts/Mercury.config.in:
	Make the `--install-prefix' option take its default value from
	the `prefix' autoconf variable instead of the non-existent
	`INSTALL_PREFIX' variable.

Index: scripts/Mercury.config.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mercury.config.in,v
retrieving revision 1.10
diff -u -r1.10 Mercury.config.in
--- scripts/Mercury.config.in	19 Oct 2004 06:01:38 -0000	1.10
+++ scripts/Mercury.config.in	19 Dec 2005 00:19:55 -0000
@@ -99,7 +99,7 @@
 		--linker-allow-undefined-flag "@ALLOW_UNDEFINED@" \
 		--linker-error-undefined-flag "@ERROR_UNDEFINED@" \
 		--fullarch "@FULLARCH@" \
-		--install-prefix "@INSTALL_PREFIX@" \
+		--install-prefix "@prefix@" \
 		--num-real-r-regs "@NUM_REAL_R_REGS@" \
 		--num-real-r-temps "@NUM_REAL_R_TEMPS@" \
 		--conf-low-tag-bits "@LOW_TAG_BITS@" \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------