Add configure option to use system provided libffi; fixes #5743
authorIan Lynagh <ian@well-typed.com>
Thu, 29 Nov 2012 22:22:39 +0000 (22:22 +0000)
committerIan Lynagh <ian@well-typed.com>
Thu, 29 Nov 2012 22:22:39 +0000 (22:22 +0000)
commit3005e90936c47c1f71672bf6c84fff20cb14014b
treefc2c6afe163460596b197665f68544de8c3ad044
parentbd9e029927b25274f574104d837de0028e45a3d6
Add configure option to use system provided libffi; fixes #5743

Based on patch from Peter Trommler:

    From 293495d40f62e691520331a41c6d85d82e120169 Mon Sep 17 00:00:00 2001
    From: Peter Trommler <ptrommler@acm.org>
    Date: Sun, 21 Oct 2012 18:47:01 +0200
    Subject: [PATCH] Add configure option to use system provided libffi This
     fixes track # 5743 and #4496.
configure.ac
ghc.mk
mk/config.mk.in
rts/ghc.mk
rts/package.conf.in