[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-7-g3e6a116

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3e6a1167fd397f2c72b48315e5d82f6c7e24703f
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Oct 16 13:39:34 2008 +0200

    Define substvars more appropriately

diff --git a/debian/rules b/debian/rules
index 19bd688..58ad7e1 100755
--- a/debian/rules
+++ b/debian/rules
@@ -42,7 +42,6 @@ configure: configure-stamp
 configure-stamp: patch-stamp ocamlinit-stamp
 	dh build --before dh_auto_configure
 	./configure $(CONFIGUREOPTS)
-	echo 'F:OCamlABI="$(OCAMLABI)"' > debian/substvars
 	touch $@
 
 build: build-stamp
@@ -76,6 +75,7 @@ binary-indep: install-stamp
 	dh $@
 
 binary-arch: install-stamp
+	for u in coq coqide; do echo 'F:OCamlABI=$(OCAMLABI)' >> debian/$$u.substvars; done
 	dh $@
 
 binary: binary-indep binary-arch

-- 
coq packaging