[Pkg-ocaml-maint-commits] [frama-c] 01/03: Refresh patches

[Stéphane Glondu]

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

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

commit 7e60b6be21cfe9dab6b9c8f6f00b079abae734af
Author: Stephane Glondu 
Date:   Thu Jul 27 18:59:06 2017 +0200

Refresh patches
---
 debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch 
b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
index 7d460a7..2c200ea 100644
--- a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
+++ b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
@@ -10,7 +10,7 @@ PLUGIN_CMO_LIST variable.
  1 file changed, 4 insertions(+)
 
 diff --git a/Makefile b/Makefile
-index abbc8935..e844de36 100644
+index abbc893..e844de3 100644
 --- a/Makefile
 +++ b/Makefile
 @@ -1095,6 +1095,10 @@ $(foreach p,$(EXTERNAL_PLUGINS),$(eval $(call 
INCLUDE_PLUGIN,$p)))
@@ -24,4 +24,3 @@ index abbc8935..e844de36 100644
  ALL_CMO   = $(CMO) $(PLUGIN_CMO_LIST) $(STARTUP_CMO)
  ALL_CMX   = $(CMX) $(PLUGIN_CMX_LIST) $(STARTUP_CMX)
  
--- 

-- 
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

[Pkg-ocaml-maint-commits] [frama-c] 01/03: Refresh patches

[Stéphane Glondu]

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

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

commit 704465d66a7955240882fc8d793f50588482f938
Author: Stephane Glondu st...@glondu.net
Date:   Sun Dec 8 12:24:27 2013 +0100

Refresh patches
---
 debian/patches/0001-Fix-spelling-error-in-binary.patch  | 6 +++---
 debian/patches/0002-Use-bin-cp-instead-of-usr-bin-install.patch | 2 +-
 debian/patches/0003-Disable-CHMOD_RO-invocations.patch  | 2 +-
 debian/patches/0004-Fix-auto-detection-of-ocaml-zarith.patch| 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/debian/patches/0001-Fix-spelling-error-in-binary.patch 
b/debian/patches/0001-Fix-spelling-error-in-binary.patch
index d635ea1..9770502 100644
--- a/debian/patches/0001-Fix-spelling-error-in-binary.patch
+++ b/debian/patches/0001-Fix-spelling-error-in-binary.patch
@@ -3,9 +3,9 @@ Date: Mon, 2 Jan 2012 14:36:52 +0100
 Subject: Fix spelling-error-in-binary
 
 ---
- Changelog  |4 ++--
- cil/src/frontc/cabs2cil.ml |4 ++--
- man/frama-c.1  |2 +-
+ Changelog  | 4 ++--
+ cil/src/frontc/cabs2cil.ml | 4 ++--
+ man/frama-c.1  | 2 +-
  3 files changed, 5 insertions(+), 5 deletions(-)
 
 diff --git a/Changelog b/Changelog
diff --git a/debian/patches/0002-Use-bin-cp-instead-of-usr-bin-install.patch 
b/debian/patches/0002-Use-bin-cp-instead-of-usr-bin-install.patch
index 0ea4a21..3b0a768 100644
--- a/debian/patches/0002-Use-bin-cp-instead-of-usr-bin-install.patch
+++ b/debian/patches/0002-Use-bin-cp-instead-of-usr-bin-install.patch
@@ -3,7 +3,7 @@ Date: Mon, 2 Jan 2012 17:28:56 +0100
 Subject: Use /bin/cp instead of /usr/bin/install
 
 ---
- share/Makefile.common |2 +-
+ share/Makefile.common | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)
 
 diff --git a/share/Makefile.common b/share/Makefile.common
diff --git a/debian/patches/0003-Disable-CHMOD_RO-invocations.patch 
b/debian/patches/0003-Disable-CHMOD_RO-invocations.patch
index 5cfbd65..537146a 100644
--- a/debian/patches/0003-Disable-CHMOD_RO-invocations.patch
+++ b/debian/patches/0003-Disable-CHMOD_RO-invocations.patch
@@ -3,7 +3,7 @@ Date: Tue, 3 Jan 2012 15:24:27 +0100
 Subject: Disable CHMOD_RO invocations
 
 ---
- share/Makefile.common |2 +-
+ share/Makefile.common | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)
 
 diff --git a/share/Makefile.common b/share/Makefile.common
diff --git a/debian/patches/0004-Fix-auto-detection-of-ocaml-zarith.patch 
b/debian/patches/0004-Fix-auto-detection-of-ocaml-zarith.patch
index e3147bb..966c012 100644
--- a/debian/patches/0004-Fix-auto-detection-of-ocaml-zarith.patch
+++ b/debian/patches/0004-Fix-auto-detection-of-ocaml-zarith.patch
@@ -7,7 +7,7 @@ installation method (simple one or using ocamlfind). It is 
always:
 
$(ocamlc -where)/zarith/*
 ---
- configure.in |4 +---
+ configure.in | 4 +---
  1 file changed, 1 insertion(+), 3 deletions(-)
 
 diff --git a/configure.in b/configure.in

-- 
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