items 2 and 8 of #71

Author: ianamason

debian/changelog

@@ -1,4 +1,4 @@
-yices2 (2.6.0-8) unstable; urgency=medium
+yices2 (2.6.0-1) unstable; urgency=medium
 
   * Initial release. (Closes: #864786)
 

debian/control

@@ -3,7 +3,7 @@ Maintainer: Ian A. Mason <iam@csl.sri.com>
 Section: misc
 Priority: optional
 Standards-Version: 3.9.8
-Build-Depends: debhelper (>= 10), dh-autoreconf (>= 10), gperf, libgmp-dev, libpoly-dev
+Build-Depends: debhelper (>= 10), dh-autoreconf (>= 10), gperf, libgmp-dev, libpoly-dev, dh-exec
 Homepage: http://yices.csl.sri.com/
 
 

debian/libyices2.6.install

@@ -0,0 +1,3 @@
+#! /usr/bin/dh-exec
+
+debian/tmp/usr/lib/${DEB_HOST_MULTIARCH}/libyices.so.* usr/lib/${DEB_HOST_MULTIARCH}

debian/libyices2.6.install.in

@@ -7,12 +7,6 @@
 
 override_dh_auto_configure:
 	dh_auto_configure -- --prefix=/usr --host=$(DEB_HOST_MULTIARCH) --enable-mcsat
-	sed 's/@DEB_HOST_MULTIARCH@/$(DEB_HOST_MULTIARCH)/g' \
-	  debian/libyices2.6.install.in > debian/libyices2.6.install
-	sed 's/@DEB_HOST_MULTIARCH@/$(DEB_HOST_MULTIARCH)/g' \
-	  debian/yices2.install.in > debian/yices2.install
-	sed 's/@DEB_HOST_MULTIARCH@/$(DEB_HOST_MULTIARCH)/g' \
-	  debian/yices2-dev.install.in > debian/yices2-dev.install
 
 override_dh_auto_build:
 	$(MAKE) CFLAGS="$(CFLAGS)" LDFLAGS="$(LDFLAGS)" STRIP=echo ARCH=$(DEB_HOST_MULTIARCH)

debian/rules

@@ -0,0 +1,4 @@
+#! /usr/bin/dh-exec
+
+debian/tmp/usr/lib/${DEB_HOST_MULTIARCH}/*.so usr/lib/${DEB_HOST_MULTIARCH}
+debian/tmp/usr/include/* usr/include