[SCM] Packaging for flint branch, master, updated. 5825a17f5c2de9d029ec74166279a2d1c97f8a72

[Felix Salfelder]

The following commit has been merged in the master branch:
commit 5825a17f5c2de9d029ec74166279a2d1c97f8a72
Author: Felix Salfelder <felix at salfelder.org>
Date:   Sat Jul 6 23:39:46 2013 +0200

    add --with-ntl

diff --git a/debian/rules b/debian/rules
index 2282ac8..41317df 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,7 +6,7 @@ VERSION=2.3
 	dh $@
 
 override_dh_auto_configure:
-	./configure --prefix="$(CURDIR)/debian/tmp/usr"
+	./configure --prefix="$(CURDIR)/debian/tmp/usr" --with-ntl
 	sed -i Makefile -e "/^FLINT_LIB\>=/s/libflint/libflint-$(VERSION)/"
 
 override_dh_auto_test:

-- 
Packaging for flint