From 6cfd14d1fca66eac8a1247f0a86aa11521650106 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 16 Dec 2005 11:41:51 +0000
Subject: [PATCH] [project @ 2005-12-16 11:41:51 by simonmar] Avoid building
 the GHCi version of this lib

---
 ghc/lib/compat/Makefile |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/ghc/lib/compat/Makefile b/ghc/lib/compat/Makefile
index 9cc0395..06c6103 100644
--- a/ghc/lib/compat/Makefile
+++ b/ghc/lib/compat/Makefile
@@ -17,6 +17,9 @@ LIBRARY = libghccompat.a
 # We don't want this installed
 NO_INSTALL_LIBRARY = YES
 
+# Avoid building the GHCi lib, since we don't need it
+GhcWithInterpreter = NO
+
 # Needed so that the libraries can #include relative to this directory.
 INCLUDE_DIRS=-I. -Iinclude
 
-- 
1.7.10.4