[SCM] Packaging for flint branch, master, updated. 548ab17cf339ddb5ba37cbdf866f7043dbf90ae2

[Felix Salfelder]

The following commit has been merged in the master branch:
commit 548ab17cf339ddb5ba37cbdf866f7043dbf90ae2
Author: Felix Salfelder <felix at salfelder.org>
Date:   Mon May 27 14:32:42 2013 +0200

    set LIB_FLINT=libflint-2.3.so

diff --git a/debian/rules b/debian/rules
index 7fd6485..122ceec 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,13 +1,13 @@
 #!/usr/bin/make -f
 
+VERSION=2.3
+
 %:
 	dh $@
 
 override_dh_auto_configure:
 	./configure --prefix="$(CURDIR)/debian/tmp/usr"
-
-override_dh_auto_build:
-	$(MAKE) LIBFLINT=libflint-2.3.so
+	sed -i Makefile -e "/^FLINT_LIB\>=/s/libflint/libflint-$(VERSION)/"
 
 override_dh_auto_test:
 	:

-- 
Packaging for flint