This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit 15e7a33c3a162efe830fd70653456856b966e900 Author: Mehdi Dogguy <[email protected]> Date: Fri Aug 11 12:51:38 2017 -0400 Add references to upstream bugs for some patches --- debian/patches/0001-Fix-spelling-error-in-binary.patch | 1 + debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch | 2 ++ debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch | 1 + debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch | 1 + debian/patches/0008-More-fixes-of-spelling-errors.patch | 1 + 5 files changed, 6 insertions(+) diff --git a/debian/patches/0001-Fix-spelling-error-in-binary.patch b/debian/patches/0001-Fix-spelling-error-in-binary.patch index a164401..9a7f13f 100644 --- a/debian/patches/0001-Fix-spelling-error-in-binary.patch +++ b/debian/patches/0001-Fix-spelling-error-in-binary.patch @@ -2,6 +2,7 @@ From: Mehdi Dogguy <[email protected]> Date: Thu, 21 Jan 2016 23:48:35 +0100 Subject: Fix spelling-error-in-binary +Forwarded: https://bts.frama-c.com/view.php?id=2323 --- man/frama-c.1 | 4 ++-- src/kernel_services/ast_data/cil_types.mli | 2 +- diff --git a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch index 99b0493..27b35f5 100644 --- a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch +++ b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch @@ -2,6 +2,8 @@ From: Mehdi Dogguy <[email protected]> Date: Wed, 21 Dec 2016 14:11:25 +0100 Subject: Value.cmo needs LoopAnalysis.cmo +Forwarded: https://bts.frama-c.com/view.php?id=2326 + Value plugin needs LoopAnalysis, but appears first during the linking phase. In order to workaround that, we move it before Value.cmo in the PLUGIN_CMO_LIST variable. diff --git a/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch b/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch index 8e7fa8f..a101205 100644 --- a/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch +++ b/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch @@ -2,6 +2,7 @@ From: Mehdi Dogguy <[email protected]> Date: Wed, 21 Dec 2016 14:14:24 +0100 Subject: gui.byte needs TARGETS_GUI_BYTE only +Forwarded: https://bts.frama-c.com/view.php?id=2325 --- share/Makefile.dynamic | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch b/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch index 777daf1..3c74f74 100644 --- a/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch +++ b/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch @@ -2,6 +2,7 @@ From: Stephane Glondu <[email protected]> Date: Thu, 27 Jul 2017 19:00:45 +0200 Subject: Fix FTBFS with OCaml 4.05.0 +Forwarded: https://bts.frama-c.com/view.php?id=2324 --- src/kernel_services/analysis/dataflow.ml | 2 +- src/kernel_services/analysis/dataflow2.ml | 2 +- diff --git a/debian/patches/0008-More-fixes-of-spelling-errors.patch b/debian/patches/0008-More-fixes-of-spelling-errors.patch index c95f2a2..5180495 100644 --- a/debian/patches/0008-More-fixes-of-spelling-errors.patch +++ b/debian/patches/0008-More-fixes-of-spelling-errors.patch @@ -2,6 +2,7 @@ From: Mehdi Dogguy <[email protected]> Date: Fri, 11 Aug 2017 12:29:34 -0400 Subject: More fixes of spelling errors +Forwarded: https://bts.frama-c.com/view.php?id=2323 --- src/plugins/scope/dpds_gui.ml | 2 +- src/plugins/wp/GuiProver.ml | 2 +- -- 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 [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
