[polyml] 05/10: Use Debian's libffi

[James Clarke]

This is an automated email from the git hooks/post-receive script.

jrtc27-guest pushed a commit to branch master
in repository polyml.

commit a5dcd91bcb6eabb839acf9db338af6d2f79e2190
Author: James Clarke <jrtc27 at jrtc27.com>
Date:   Thu Oct 15 21:11:36 2015 +0100

    Use Debian's libffi
---
 debian/control | 2 +-
 debian/rules   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/control b/debian/control
index d4a5746..0a603bd 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Achim D. Brucker <brucker at member.fsf.org>, Lionel Elie Mamane <lmaman
 Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/polyml.git/
 Vcs-Git: git://anonscm.debian.org/debian-science/packages/polyml.git
 Homepage: http://www.polyml.org
-Build-Depends: debhelper (>= 9), dh-autoreconf
+Build-Depends: debhelper (>= 9), dh-autoreconf, libffi-dev
 Standards-Version: 3.9.6
 
 Package: polyml
diff --git a/debian/rules b/debian/rules
index dd777bd..fb0e9ce 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,4 +5,4 @@
 	dh $@ --with autoreconf
 
 override_dh_auto_configure:
-	dh_auto_configure -- --enable-shared
+	dh_auto_configure -- --enable-shared --with-system-libffi

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/polyml.git