TEXI2HTML_PREFIX = $(LITERATE_PREFIX)texi2html/
HAPPY_PREFIX = $(FPTOOLS_TOP)/happy/src/
+GREENCARD_PREFIX = $(FPTOOLS_TOP)/green-card/src/
UNLIT_PREFIX = $(FPTOOLS_TOP)/ghc/utils/unlit/
UGEN_PREFIX = $(FPTOOLS_TOP)/ghc/utils/ugen/
RUNTEST = $(RUNTEST_PREFIX)runstdtest
HAPPY = @HappyCmd@
LX = @LxCmd@
+GREENCARD = @GreencardCmd@
ifeq "$(HAPPY)" ""
HAPPY = $(HAPPY_PREFIX)happy