[Pkg-ocaml-maint-commits] [frama-c] 05/05: dh_ocaml --nodefined-map=frama-c-base:Big_int_Z, Z, Q

[Mehdi Dogguy]

This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository frama-c.

commit 825e61ce079c4da78ef6c79f5fe9ba25b3cb5371
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Mon Nov 25 12:16:01 2013 +0100

    dh_ocaml --nodefined-map=frama-c-base:Big_int_Z,Z,Q
---
 debian/changelog | 2 ++
 debian/rules     | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index ef6385c..b0973fe 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,8 @@ frama-c (20130601+fluorine3+dfsg-1) UNRELEASED; urgency=low
     - Require ocamlgraph (>= 1.8.3~) on build.
   * Add libzarith-ocaml-dev to Build-Depends.
   * Add autoconf to Build-Depends.
+  * Call dh_ocaml with --nodefined-map=frama-c-base:Big_int_Z,Z,Q, modules
+    already declared by ocaml-zarith.
 
  -- Mehdi Dogguy <mehdi at debian.org>  Tue, 25 Jun 2013 21:51:45 +0200
 
diff --git a/debian/rules b/debian/rules
index 845792e..1b77f07 100755
--- a/debian/rules
+++ b/debian/rules
@@ -43,5 +43,8 @@ override_dh_auto_clean:
 	[ ! -f Makefile -o ! -f share/Makefile.config ] || $(MAKE) clean
 	$(RM) -rf lib .depend
 
+override_dh_ocaml:
+	dh_ocaml --nodefined-map=frama-c-base:Big_int_Z,Z,Q
+
 %:
 	dh --with ocaml $@

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git