Explicit more dependencies for autobuildersdebian/8.2.rc2+dfsg-3

3 files changed, 14 insertions, 2 deletions

diff --git a/debian/changelog b/debian/changelog
index 3c8218a4..9e23e0b1 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@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 2a917b33..58e3de97 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 f53ab304..3170165b 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'