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