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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7b47bd0e98dc48f224de41a9f76c5deba0e5eef7
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Feb 5 15:07:46 2009 +0100

    Put also OCaml ABI in Coq ABI

diff --git a/debian/rules b/debian/rules
index e0e7161..f53ab30 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,11 +22,11 @@ HTMLDOC := doc/stdlib/html/index.html
 COQPREF := $(CURDIR)/debian/tmp
 ADDPREF := COQINSTALLPREFIX=$(COQPREF)
 
-COQABI := 8.2
 PACKAGES := $(shell awk '/Package:/{print $$2}' debian/control)
 
 OFILES := $(patsubst %.in,%,$(wildcard debian/*.in))
 OCAMLABI := $(shell ocamlc -version)
+COQABI := 8.2+$(OCAMLABI)
 
 CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \
   --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all \

-- 
coq packaging