[Pkg-ocaml-maint-commits] r4194 - in /trunk/packages/coq/trunk/debian: changelog control rules
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Mon Aug 27 07:28:26 UTC 2007
Author: smimram
Date: Mon Aug 27 07:28:26 2007
New Revision: 4194
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4194
Log:
Depend on ocaml-base-nox since coq_makefile needs ocamlrun.
Modified:
trunk/packages/coq/trunk/debian/changelog
trunk/packages/coq/trunk/debian/control
trunk/packages/coq/trunk/debian/rules
Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=4194&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Mon Aug 27 07:28:26 2007
@@ -1,3 +1,9 @@
+coq (8.1.pl1+dfsg-3) UNRELEASED; urgency=low
+
+ * Depend on ocaml-base-nox since coq_makefile needs ocamlrun.
+
+ -- Samuel Mimram <smimram at debian.org> Mon, 27 Aug 2007 09:28:38 +0200
+
coq (8.1.pl1+dfsg-2) experimental; urgency=low
* Updated for OCaml 3.10.
Modified: trunk/packages/coq/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/control?rev=4194&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/control (original)
+++ trunk/packages/coq/trunk/debian/control Mon Aug 27 07:28:26 2007
@@ -10,7 +10,7 @@
Package: coq
Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}, coq-libs (= ${source:Version})
+Depends: ${shlibs:Depends}, ${misc:Depends}, ocaml-base-nox-${F:OCamlABI}, coq-libs (= ${source:Version})
Recommends: coqide | proofgeneral-coq
Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle, coq-doc
Description: proof assistant for higher-order logic (toplevel and compiler)
Modified: trunk/packages/coq/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/rules?rev=4194&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/rules (original)
+++ trunk/packages/coq/trunk/debian/rules Mon Aug 27 07:28:26 2007
@@ -12,6 +12,8 @@
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
@@ -128,7 +130,7 @@
dh_fixperms
dh_installdeb
dh_shlibdeps
- dh_gencontrol
+ dh_gencontrol -- -VF:OCamlABI="$(OCAMLABI)"
dh_md5sums
dh_builddeb
More information about the Pkg-ocaml-maint-commits
mailing list