X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=mk%2Fconfig.mk.in;h=daa6d699c950744e0b82287de0784858fa3a8a8d;hb=60714e2c04c5814faf560be5988ff4731ea70a65;hp=7d0e025eb0fefa63a5cee25ab6600ab1aeb4f819;hpb=4ea7a5296b3693ad3818a13ab396181366963a79;p=ghc-hetmet.git

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 7d0e025..daa6d69 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -349,6 +349,9 @@ MakefileDeps=YES
 #------------------------------------------------------------------------------
 # Options for Libraries
 
+# Which directory (in libraries/) contains the integer library?
+INTEGER_LIBRARY=integer-gmp
+
 # What extra ways to build the libraries in
 # In addition to the normal sequential way, the default is to also build
 # profiled prelude libraries.