From 3e6a1167fd397f2c72b48315e5d82f6c7e24703f Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 16 Oct 2008 13:39:34 +0200
Subject: Define substvars more appropriately

---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
index 19bd688d..58ad7e19 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
-- 
cgit v1.2.3