From 7fd0e6b9ae44d9e4fdcc8183608bdae80d39d849 Mon Sep 17 00:00:00 2001 From: simonmar Date: Wed, 22 Dec 1999 10:11:48 +0000 Subject: [PATCH] [project @ 1999-12-22 10:11:48 by simonmar] Add comment about TMPDIR. --- mk/config.mk.in | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/mk/config.mk.in b/mk/config.mk.in index e21abe3..f616629 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -347,6 +347,11 @@ NoFibHcOpts = -O # ################################################################################ +# Directory used by GHC (and possibly other tools) for storing +# temporary files. If your /tmp isn't big enough, either override +# this in build.mk or set your environment variable "TMPDIR" to point +# to somewhere with more space. (TMPDIR=. is a good choice). + TMPDIR = /tmp # FPTOOLS_TOP: the top of the fptools hierarchy, absolute path. -- 1.7.10.4