[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-55-g02e1486

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 6a10154d9bd2a722ddb775b0c0b3a70baeafce90
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Feb 19 18:34:22 2009 +0100

    Depend on coq-${F:CoqABI} instead of Coq

diff --git a/debian/changelog b/debian/changelog
index d677578..34614af 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -21,6 +21,7 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
     + Change vcs-* fields
   * Remove not needed build dependency: ocamlweb
   * Using debhelper 7
+  * Depend on coq-${F:CoqABI} instead of Coq
 
   [ Samuel Mimram ]
   * Use predefined variables from ocamlvars.mk and coqvars.mk.
diff --git a/debian/control b/debian/control
index 6c78674..1ff827f 100644
--- a/debian/control
+++ b/debian/control
@@ -11,7 +11,7 @@ Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git
 Package: why
 Architecture: any
 Depends: ${shlibs:Depends}
-Suggests: coq
+Suggests: coq-${F:CoqABI}
 Recommends: alt-ergo
 Description: A software verification tool
  Why aims at being a verification conditions generator (VCG) back-end
diff --git a/debian/rules b/debian/rules
index cde383e..03990d8 100755
--- a/debian/rules
+++ b/debian/rules
@@ -65,6 +65,8 @@ install: build
 	dh_installdirs
 	$(MAKE) prefix=$(WHYDIR)/usr install COQLIB=$(WHYDIR)/$(COQ_STDLIB_DIR)
 	mv $(WHYDIR)/usr/lib/why/why-logo-1.png $(WHYDIR)/usr/share/why
+	echo 'F:OCamlABI=$(OCAMLABI)' >> debian/libjessie-ocaml-dev.substvars
+	echo 'F:CoqABI=$(COQABI)' >> debian/why.substvars
 
 # Build architecture-independent files here.
 binary-indep: build install

-- 
why packaging