[SCM] Packaging for flint branch, master, updated. 3b1a98e550091b2887607ce1c43438d82c84d2bb

[Felix Salfelder]

The following commit has been merged in the master branch:
commit 3b1a98e550091b2887607ce1c43438d82c84d2bb
Author: Felix Salfelder <felix at salfelder.org>
Date:   Thu May 30 20:45:28 2013 +0200

    place and remove libflint.so->libflint-$(VERSION).so symlink

diff --git a/debian/rules b/debian/rules
index 122ceec..9a3a4da 100755
--- a/debian/rules
+++ b/debian/rules
@@ -11,3 +11,11 @@ override_dh_auto_configure:
 
 override_dh_auto_test:
 	:
+
+override_dh_auto_build:
+	dh_auto_build
+	ln -s libflint-$(VERSION).so libflint.so
+
+override_dh_auto_clean:
+	dh_auto_clean
+	rm -f libflint.so

-- 
Packaging for flint