From 7b47bd0e98dc48f224de41a9f76c5deba0e5eef7 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 5 Feb 2009 15:07:46 +0100
Subject: Put also OCaml ABI in Coq ABI

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

diff --git a/debian/rules b/debian/rules
index e0e71616..f53ab304 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 \
-- 
cgit v1.2.3