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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 6fb02c1ce54ae01815c7ef919e17cc8b708f60bf
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Feb 20 17:39:02 2009 +0100

    Use the one defined in ocamlvars.mk

diff --git a/debian/rules b/debian/rules
index 4912c4b..9bdb596 100755
--- a/debian/rules
+++ b/debian/rules
@@ -60,7 +60,7 @@ 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:OCamlABI=$(OCAML_ABI)' >> debian/libjessie-ocaml-dev.substvars
 	echo 'F:CoqABI=$(COQABI)' >> debian/why.substvars
 
 # Build architecture-independent files here.

-- 
why packaging