From 6d677c133485dc5eb3675f8d52f5d3ea88f2702a Mon Sep 17 00:00:00 2001 From: simonm <unknown> Date: Wed, 11 Mar 1998 13:58:00 +0000 Subject: [PATCH] [project @ 1998-03-11 13:58:00 by simonm] add RTS_PREFIX = $(FPTOOLS_TOP)/common-rts/ (Harmless unless compiling for the new RTS). --- mk/config.mk.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mk/config.mk.in b/mk/config.mk.in index bdc4faea891c..0dc052b68359 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/ -- GitLab