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 <me...@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 <me...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
