[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-2-1-g8faffcb

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 8faffcb73f356ac4a3c41ae3356be5fe26244b58
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Feb 8 22:21:13 2009 +0100

    Explicit more dependencies for autobuilders

diff --git a/debian/changelog b/debian/changelog
index 3c8218a..9e23e0b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq (8.2~rc2+dfsg-3) experimental; urgency=low
+
+  * Explicit more dependencies and drop dependency on
+    ocaml-best-compilers, for autobuilders
+
+ -- Stephane Glondu <steph at glondu.net>  Sun, 08 Feb 2009 22:42:51 +0100
+
 coq (8.2~rc2+dfsg-2) experimental; urgency=low
 
   * Add more versioned dependencies to please buildds
diff --git a/debian/control b/debian/control
index 2a917b3..58e3de9 100644
--- a/debian/control
+++ b/debian/control
@@ -15,10 +15,15 @@ Build-Depends:
  dpkg-dev (>= 1.13.19),
  dpatch,
  ocaml-nox (>= 3.11),
- ocaml-best-compilers,
  camlp5 (>= 5.10-2),
  liblablgtk2-ocaml-dev (>= 2.10.1-3),
  texlive-latex-extra,
+ ocaml (>= 3.11),
+ ocaml-base (>= 3.11),
+ ocaml-base-nox (>= 3.11),
+ ocaml-compiler-libs (>= 3.11),
+ liblablgtk2-ocaml (>= 2.10.1-3),
+ ocaml-interp (>= 3.11),
  hevea (>= 1.10-6)
 Homepage: http://coq.inria.fr/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git
diff --git a/debian/rules b/debian/rules
index f53ab30..3170165 100755
--- a/debian/rules
+++ b/debian/rules
@@ -37,7 +37,7 @@ OCAMLINITSED := -e 's/@OCamlABI@/$(OCAMLABI)/g' -e '/^\#/d'
 OCAMLOPT := $(wildcard /usr/bin/ocamlopt*)
 
 ifneq ($(OCAMLOPT),)
-  CONFIGUREOPTS += -opt
+  # CONFIGUREOPTS += -opt
   OCAMLINITSED += -e 's/^OPT: //'
 else
   OCAMLINITSED += -e '/^OPT: /d'

-- 
coq packaging