[SCM] Packaging for flint branch, master, updated. 103137097ce65643cbbcea11c8fc73aa59b5fef1

[Felix Salfelder]

The following commit has been merged in the master branch:
commit 103137097ce65643cbbcea11c8fc73aa59b5fef1
Author: Felix Salfelder <felix at salfelder.org>
Date:   Mon Jun 3 14:18:58 2013 +0200

    simplify rules, install to include/flint

diff --git a/debian/libflint-2.3.install b/debian/libflint-2.3.install
index aeba26e..9d77b16 100644
--- a/debian/libflint-2.3.install
+++ b/debian/libflint-2.3.install
@@ -1 +1 @@
-libflint-*.so usr/lib
+debian/tmp/usr/lib/libflint-*.so
diff --git a/debian/libflint-dev.install b/debian/libflint-dev.install
index b2f775a..e8a6ac4 100644
--- a/debian/libflint-dev.install
+++ b/debian/libflint-dev.install
@@ -1,2 +1,2 @@
-*.h usr/include/FLINT/
-libflint.so usr/lib
+debian/tmp/usr/include/flint
+debian/tmp/usr/lib/libflint.so
diff --git a/debian/rules b/debian/rules
index 9a3a4da..2282ac8 100755
--- a/debian/rules
+++ b/debian/rules
@@ -14,8 +14,7 @@ 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
+override_dh_auto_install:
+	dh_auto_install
+	ln -sf libflint-$(VERSION).so debian/tmp/usr/lib/libflint.so

-- 
Packaging for flint