Ticket #13465: patch-compiler-Make-mk

File patch-compiler-Make-mk, 425 bytes (added by x07simbj@…, 16 years ago)
Line 
1--- compiler/Make.mk.orig       2007-11-30 23:57:37.000000000 +0100
2+++ compiler/Make.mk    2007-11-30 23:59:05.000000000 +0100
3@@ -17,7 +17,7 @@
4 install:       install-rml
5 
6 install-rml:   rml.$(HEAP_SUFFIX)
7-       $(GOROOT)/etc/install-sml rml $(PREFIX) "$(SMLCM)" $(HEAP_SUFFIX) $(TARGET) $(GOROOT)
8+       $(GOROOT)/etc/install-sml rml $(PREFIX) "$(SMLCM)" $(HEAP_SUFFIX) $(TARGET) $(GOROOT) $(DESTROOT)
9 
10 rml.lex.sml:   rml.lex
11        $(MLLEX) rml.lex