[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-15-g9603746

Stephane Glondu steph at glondu.net
Fri Feb 20 14:24:33 UTC 2009


The following commit has been merged in the master branch:
commit 7696c0afa22fd9d63047a9af2b634cb0e5897d23
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 20 13:13:06 2009 +0100

    Use Debian changelog to determine COQ_VERSION

diff --git a/debian/rules b/debian/rules
index 04a75b2..8b587ea 100755
--- a/debian/rules
+++ b/debian/rules
@@ -27,10 +27,8 @@ PACKAGES := $(shell awk '/Package:/{print $$2}' debian/control)
 
 OFILES := $(patsubst %.in,%,$(wildcard debian/*.in))
 
-# Beware: -1 is part of upstream version
-COQVERSION := 8.2-1
-
-COQ_ABI := $(COQVERSION)+$(OCAML_ABI)
+COQ_VERSION := $(shell head -n1 debian/changelog | awk -F'[+() ]' '{print $$3}')
+COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI)
 
 CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \
   --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all \

-- 
coq packaging



More information about the Pkg-ocaml-maint-commits mailing list