diff options
Diffstat (limited to 'lang/ghc/files/patch-mk-config.mk.in')
-rw-r--r-- | lang/ghc/files/patch-mk-config.mk.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/ghc/files/patch-mk-config.mk.in b/lang/ghc/files/patch-mk-config.mk.in new file mode 100644 index 0000000..ff8f007 --- /dev/null +++ b/lang/ghc/files/patch-mk-config.mk.in @@ -0,0 +1,15 @@ +--- ./mk/config.mk.in.orig 2012-06-06 19:10:25.000000000 +0200 ++++ ./mk/config.mk.in 2013-01-30 16:24:53.000000000 +0100 +@@ -363,6 +363,12 @@ + PapiLibDir= + PapiIncludeDir= + ++# Configuration for libffi ++UseSystemLibFFI=@UseSystemLibFFI@ ++# Flags to go into package.conf for rts ++FFILibDir=@FFILibDir@ ++FFIIncludeDir=@FFIIncludeDir@ ++ + ################################################################################ + # + # Paths (see paths.mk) |