[m-rev.] diff: mmake il install library fix

[Peter Ross]

Hi,


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


Estimated hours taken: 0.2
Branches: main

library/Mmakefile:
    Fix a bug where we tried to install mercury_all.dll instead of
    $(library.dlls) into the mercury lib install dir.


Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.72
diff -u -r1.72 Mmakefile
--- Mmakefile	18 Jul 2001 08:13:42 -0000	1.72
+++ Mmakefile	18 Jul 2001 16:01:07 -0000
@@ -330,7 +330,7 @@
 
 .PHONY: install_library
 install_library: mercury.dll install_grade_dirs install_gac
-	cp `vpath_find $(library.foreign_dlls) mercury_all.dll \
+	cp `vpath_find $(library.foreign_dlls) $(library.dlls) \
 		mercury.dll` $(INSTALL_MERC_LIB_DIR)
 
 .PHONY: install_gac

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