diff --git a/mk/config.mk.in b/mk/config.mk.in index bdc4faea891c6a707d7d8daabacc7510aa512a67..0dc052b68359ea125c79ad35be3382211aa8f627 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -504,6 +504,8 @@ TEXI2HTML_PREFIX = $(LITERATE_PREFIX)texi2html/ HAPPY_PREFIX = $(FPTOOLS_TOP)/happy/src/ GREENCARD_PREFIX = $(FPTOOLS_TOP)/green-card/src/ +RTS_PREFIX = $(FPTOOLS_TOP)/common-rts/ + UNLIT_PREFIX = $(FPTOOLS_TOP)/ghc/utils/unlit/ UGEN_PREFIX = $(FPTOOLS_TOP)/ghc/utils/ugen/ STAT2RESID_PREFIX = $(FPTOOLS_TOP)/ghc/utils/stat2resid/