[apron] Add -format-security patch.
Jerry James
jjames at fedoraproject.org
Wed Nov 20 16:35:46 UTC 2013
commit 623bf9c6bada85b4e254113a6bc98045591dada0
Author: Jerry James <jamesjer at betterlinux.com>
Date: Wed Nov 20 09:36:05 2013 -0700
Add -format-security patch.
apron-format-security.patch | 11 +++++++++++
apron.spec | 10 ++++++++--
2 files changed, 19 insertions(+), 2 deletions(-)
---
diff --git a/apron-format-security.patch b/apron-format-security.patch
new file mode 100644
index 0000000..f6f358b
--- /dev/null
+++ b/apron-format-security.patch
@@ -0,0 +1,11 @@
+--- ./box/box_representation.c.orig 2009-09-11 12:00:28.000000000 -0600
++++ ./box/box_representation.c 2013-11-20 07:55:00.000000000 -0700
+@@ -270,7 +270,7 @@ void box_fprintdiff(FILE* stream,
+ ( sgn1<0 ?
+ "+[" :
+ "[=, " );
+- fprintf(stream,str);
++ fputs(str,stream);
+ if (sgn1!=0){
+ bound_neg(bound,b->p[i]->inf);
+ bound_fprint(stream,bound);
diff --git a/apron.spec b/apron.spec
index 2cc7620..fc9c858 100644
--- a/apron.spec
+++ b/apron.spec
@@ -4,7 +4,7 @@
Name: apron
Version: 0.9.10
-Release: 13%{?dist}
+Release: 14%{?dist}
Summary: Numerical abstract domain library
# The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
@@ -25,6 +25,8 @@ Patch1: %{name}-mlgmpidl12.patch
Patch2: %{name}-test.patch
# Not yet sent upstream. Adapt to PPL 1.0 + GMP 5.1.0
Patch3: %{name}-ppl1.patch
+# Alreay applied upstream. Fix a -Werror=format-security failure.
+Patch4: %{name}-format-security.patch
BuildRequires: mpfr-devel
BuildRequires: ppl-devel
@@ -37,7 +39,7 @@ BuildRequires: ocaml-ocamldoc
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
%endif
-%global sover %(echo %{version} | cut -d. -f 1)
+%global sover %(cut -d. -f 1 <<< %{version})
%description
The APRON library is dedicated to the static analysis of the numerical
@@ -85,6 +87,7 @@ Development files for the Ocaml interface to the APRON library.
%patch1
%patch2
%patch3
+%patch4
# Set the configuration values
sed -e "s|^# HAS_CPP.*|HAS_CPP = 1|" \
@@ -247,6 +250,9 @@ done
%endif
%changelog
+* Wed Nov 20 2013 Jerry James <loganjerry at gmail.com> - 0.9.10-14
+- Add -format-security patch
+
* Sat Sep 14 2013 Richard W.M. Jones <rjones at redhat.com> - 0.9.10-13
- Rebuild for OCaml 4.01.0.
More information about the scm-commits
mailing list