[sagemath] 01/01: Added proper detection of cddlib to the pruner configure script

[Julien Puydt]

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

jpuydt-guest pushed a commit to branch master
in repository sagemath.

commit 8753d7c1bcbb28554b35550257807119e18aec2d
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Sat Mar 14 22:19:51 2015 +0100

    Added proper detection of cddlib to the pruner configure script
---
 debian/pruner/configure.ac | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/debian/pruner/configure.ac b/debian/pruner/configure.ac
index 8f7075a..38833b4 100644
--- a/debian/pruner/configure.ac
+++ b/debian/pruner/configure.ac
@@ -28,8 +28,10 @@ AC_SUBST(HAS_BOOST)
 AC_CHECK_PROG(HAS_BZIP2, bzip2, "True", "False")
 AC_SUBST(HAS_BZIP2)
 
-# FIXME(cddlib): sage's is heavily patched, so use their version...
-HAS_CDDLIB="False"
+AC_CHECK_PROG(HAS_CDDLIB, cdd_both_reps, "True", "False")
+if test "x${HAS_CDDLIB}" = "xTrue"; then
+  AC_CHECK_HEADER(cdd/setoper.h, HAS_CDDLIB="True", HAS_CDDLIB="False")
+fi
 AC_SUBST(HAS_CDDLIB)
 
 # FIXME(cephes): we shouldn't need it

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