The following commit has been merged in the master branch:
commit 3e6a1167fd397f2c72b48315e5d82f6c7e24703f
Author: Stephane Glondu <[EMAIL PROTECTED]>
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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
