[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