From: simonm Date: Fri, 19 Sep 1997 10:43:24 +0000 (+0000) Subject: [project @ 1997-09-19 10:43:24 by simonm] X-Git-Tag: Approx_2487_patches~1491 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=d7d0c9fc6d4ee57eeaefec11a09d2cc61200d2dc;p=ghc-hetmet.git [project @ 1997-09-19 10:43:24 by simonm] minor updates now that happy is in ProjectsToBuild. --- diff --git a/docs/installing.lit b/docs/installing.lit index 49f3586..d5770a1 100644 --- a/docs/installing.lit +++ b/docs/installing.lit @@ -941,18 +941,18 @@ want to change. (The override occurs because the main boilerplate file, For example, @config.mk.in@ contains the definition: \begin{verbatim} - ProjectsToBuild = glafp-utils literate ghc hslibs + ProjectsToBuild = glafp-utils literate happy ghc hslibs \end{verbatim} The accompanying comment explains that this is the list of enabled projects; that is, if (after configuring) you type @gmake all@ in @FPTOOLS_TOP@ three specified projects will be made. -If you want to add @happy@, you can add this line to @build.mk@: +If you want to add @green-card@, you can add this line to @build.mk@: \begin{verbatim} - ProjectsToBuild += happy + ProjectsToBuild += green-card \end{verbatim} or, if you prefer, \begin{verbatim} - ProjectsToBuild = glafp-utils literate ghc hslibs happy + ProjectsToBuild = glafp-utils literate happy ghc hslibs green-card \end{verbatim} (GNU @make@ allows existing definitions to have new text appended using the ``@+=@'' operator, which is quite a convenient feature.)