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