Ticket #13465: patch-compiler-Make-mk
| File patch-compiler-Make-mk, 425 bytes (added by x07simbj@…, 17 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 |