From d0d0fa119d8061cb6fb844e2d6c1ea7bac6eec44 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Mon, 27 Aug 2007 07:28:26 +0000
Subject: Depend on ocaml-base-nox since coq_makefile needs ocamlrun.

---
 debian/rules | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
index d897124b..22cd9dc0 100755
--- a/debian/rules
+++ b/debian/rules
@@ -13,6 +13,8 @@ include /usr/share/dpatch/dpatch.make
 COQPREF := $(CURDIR)/debian/tmp
 ADDPREF := COQINSTALLPREFIX=$(COQPREF)
 
+OCAMLABI := $(shell ocamlc -version)
+
 CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all
 
 configure: configure-stamp
@@ -128,7 +130,7 @@ binary-common:
 	dh_fixperms
 	dh_installdeb
 	dh_shlibdeps
-	dh_gencontrol
+	dh_gencontrol -- -VF:OCamlABI="$(OCAMLABI)"
 	dh_md5sums
 	dh_builddeb
 
-- 
cgit v1.2.3