Refresh patches
authorStephane Glondu <steph@glondu.net>
Mon, 30 Sep 2019 13:47:03 +0000 (15:47 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Mon, 30 Sep 2019 14:05:32 +0000 (16:05 +0200)
debian/patches/0003-Fix-in-configure.am.patch [deleted file]
debian/patches/0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch [deleted file]
debian/patches/0007-Fix-spelling-errors-reported-by-Lintian.patch [deleted file]
debian/patches/0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
debian/patches/series

diff --git a/debian/patches/0003-Fix-in-configure.am.patch b/debian/patches/0003-Fix-in-configure.am.patch
deleted file mode 100644 (file)
index 64a4790..0000000
+++ /dev/null
@@ -1,22 +0,0 @@
-From: Stephane Glondu <steph@glondu.net>
-Date: Wed, 10 Jul 2019 16:41:51 +0200
-Subject: Fix in configure.am
-
-Forwarded: https://github.com/ocaml/ocaml/pull/8830
----
- configure.ac | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/configure.ac b/configure.ac
-index 5bb0611..209870e 100644
---- a/configure.ac
-+++ b/configure.ac
-@@ -954,7 +954,7 @@ AS_CASE([$host],
-   [*-*-mingw32|*-pc-windows], [asppprofflags=''],
-   [asppprofflags='-DPROFILING'])
--AS_IF([test -n "$host_alias"], [toolpref="${host}-"], [toolpref=""])
-+AS_IF([test -n "$host_alias"], [toolpref="${host_alias}-"], [toolpref=""])
- # We first compute default values for as and aspp
- # If values have been given by the user then they take precedence over
diff --git a/debian/patches/0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch b/debian/patches/0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch
deleted file mode 100644 (file)
index f343a0d..0000000
+++ /dev/null
@@ -1,22 +0,0 @@
-From: Stephane Glondu <steph@glondu.net>
-Date: Wed, 24 Jul 2019 09:29:16 +0200
-Subject: Add support for Debian's armhf in configure.ac
-
-Forwarded: https://github.com/ocaml/ocaml/pull/8830
----
- configure.ac | 2 ++
- 1 file changed, 2 insertions(+)
-
-diff --git a/configure.ac b/configure.ac
-index 70bd63f..ca972d0 100644
---- a/configure.ac
-+++ b/configure.ac
-@@ -871,6 +871,8 @@ AS_CASE([$host],
-     [arch=arm; model=armv5te; system=linux_eabi],
-   [armv5*-*-linux-gnueabi],
-     [arch=arm; model=armv5; system=linux_eabi],
-+  [arm*-*-linux-gnueabihf],
-+    [arch=arm; system=linux_eabihf],
-   [arm*-*-linux-gnueabi],
-     [arch=arm; system=linux_eabi],
-   [arm*-*-openbsd*],
diff --git a/debian/patches/0007-Fix-spelling-errors-reported-by-Lintian.patch b/debian/patches/0007-Fix-spelling-errors-reported-by-Lintian.patch
deleted file mode 100644 (file)
index 4d400e6..0000000
+++ /dev/null
@@ -1,162 +0,0 @@
-From: Stephane Glondu <steph@glondu.net>
-Date: Wed, 24 Jul 2019 10:05:12 +0200
-Subject: Fix spelling errors reported by Lintian
-
-Forwarded: https://github.com/ocaml/ocaml/pull/8826
----
- asmcomp/cmmgen.ml                                         | 2 +-
- manual/manual/library/compilerlibs.etex                   | 2 +-
- middle_end/inlining_transforms.ml                         | 2 +-
- otherlibs/systhreads/event.mli                            | 2 +-
- parsing/ast_iterator.mli                                  | 2 +-
- parsing/ast_mapper.mli                                    | 2 +-
- stdlib/bigarray.mli                                       | 2 +-
- stdlib/filename.mli                                       | 2 +-
- stdlib/format.ml                                          | 2 +-
- testsuite/tests/parsetree/source.ml                       | 2 +-
- testsuite/tests/typing-implicit_unpack/implicit_unpack.ml | 2 +-
- 11 files changed, 11 insertions(+), 11 deletions(-)
-
-diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml
-index d049099..24b1305 100644
---- a/asmcomp/cmmgen.ml
-+++ b/asmcomp/cmmgen.ml
-@@ -1528,7 +1528,7 @@ end
-    phases, we only share exits *)
- (* Some specific patterns can lead to switches where several cases
-    point to the same action, but this action is not an exit (see GPR#1370).
--   The addition of the index in the action array as context allows to
-+   The addition of the index in the action array as context allows one to
-    share them correctly without duplication. *)
- module StoreExpForSwitch =
-   Switch.CtxStore
-diff --git a/manual/manual/library/compilerlibs.etex b/manual/manual/library/compilerlibs.etex
-index 88abbb8..d491937 100644
---- a/manual/manual/library/compilerlibs.etex
-+++ b/manual/manual/library/compilerlibs.etex
-@@ -3,7 +3,7 @@
- This chapter describes the OCaml front-end, which declares the abstract
- syntax tree used by the compiler, provides a way to parse, print
--and pretty-print OCaml code, and ultimately allows to write abstract
-+and pretty-print OCaml code, and ultimately allows one to write abstract
- syntax tree preprocessors invoked via the {\tt -ppx} flag (see chapters~\ref{c:camlc}
- and~\ref{c:nativecomp}) and plugins invoked via the {\tt -plugin} flag
- (see chapter~\ref{c:plugins}).
-diff --git a/middle_end/inlining_transforms.ml b/middle_end/inlining_transforms.ml
-index b08e62b..fb31580 100755
---- a/middle_end/inlining_transforms.ml
-+++ b/middle_end/inlining_transforms.ml
-@@ -118,7 +118,7 @@ let inline_by_copying_function_body ~env ~r
-     && ((not default_inline) || (not default_specialise)) then
-       (* When the function inlined function is a stub, the annotation
-          is reported to the function applications inside the stub.
--         This allows to report the annotation to the application the
-+         This allows one to report the annotation to the application the
-          original programmer really intended: the stub is not visible
-          in the source. *)
-       set_inline_attribute_on_all_apply body
-diff --git a/otherlibs/systhreads/event.mli b/otherlibs/systhreads/event.mli
-index 83dbe9a..a69110f 100644
---- a/otherlibs/systhreads/event.mli
-+++ b/otherlibs/systhreads/event.mli
-@@ -59,7 +59,7 @@ val wrap_abort : 'a event -> (unit -> unit) -> 'a event
- val guard : (unit -> 'a event) -> 'a event
- (** [guard fn] returns the event that, when synchronized, computes
--   [fn()] and behaves as the resulting event. This allows to
-+   [fn()] and behaves as the resulting event. This allows one to
-    compute events with side-effects at the time of the synchronization
-    operation. *)
-diff --git a/parsing/ast_iterator.mli b/parsing/ast_iterator.mli
-index 5dc1c0e..480d854 100755
---- a/parsing/ast_iterator.mli
-+++ b/parsing/ast_iterator.mli
-@@ -13,7 +13,7 @@
- (*                                                                        *)
- (**************************************************************************)
--(** {!iterator} allows to implement AST inspection using open recursion.  A
-+(** {!iterator} allows one to implement AST inspection using open recursion.  A
-     typical mapper would be based on {!default_iterator}, a trivial iterator,
-     and will fall back on it for handling the syntax it does not modify.
-diff --git a/parsing/ast_mapper.mli b/parsing/ast_mapper.mli
-index b342ca8..a517504 100644
---- a/parsing/ast_mapper.mli
-+++ b/parsing/ast_mapper.mli
-@@ -21,7 +21,7 @@
-   the -ppx rewriters, handling such details as the serialization format,
-   forwarding of command-line flags, and storing state.
--  {!mapper} allows to implement AST rewriting using open recursion.
-+  {!mapper} allows one to implement AST rewriting using open recursion.
-   A typical mapper would be based on {!default_mapper}, a deep
-   identity mapper, and will fall back on it for handling the syntax it
-   does not modify. For example:
-diff --git a/stdlib/bigarray.mli b/stdlib/bigarray.mli
-index 2c12612..317c1db 100644
---- a/stdlib/bigarray.mli
-+++ b/stdlib/bigarray.mli
-@@ -133,7 +133,7 @@ type ('a, 'b) kind =
-    of OCaml types with element kinds, and are re-exported below for
-    backward-compatibility reasons.
--   Using a generalized algebraic datatype (GADT) here allows to write
-+   Using a generalized algebraic datatype (GADT) here allows one to write
-    well-typed polymorphic functions whose return type depend on the
-    argument type, such as:
-diff --git a/stdlib/filename.mli b/stdlib/filename.mli
-index b05ad0d..cc018b4 100644
---- a/stdlib/filename.mli
-+++ b/stdlib/filename.mli
-@@ -52,7 +52,7 @@ val check_suffix : string -> string -> bool
- val chop_suffix : string -> string -> string
- (** [chop_suffix name suff] removes the suffix [suff] from
-    the filename [name]. The behavior is undefined if [name] does not
--   end with the suffix [suff]. It is thus recommmended to use
-+   end with the suffix [suff]. It is thus recommended to use
-    [chop_suffix_opt] instead.
- *)
-diff --git a/stdlib/format.ml b/stdlib/format.ml
-index ae1f3c6..438c661 100644
---- a/stdlib/format.ml
-+++ b/stdlib/format.ml
-@@ -687,7 +687,7 @@ let pp_print_if_newline state () =
-       { size = Size.zero; token = Pp_if_newline; length = 0 }
--(* Generalized break hint that allows to print strings before/after
-+(* Generalized break hint that allows one to print strings before/after
-    same-line offset (width) or new-line offset *)
- let pp_print_custom_break state ~fits ~breaks =
-   let before, width, after = fits in
-diff --git a/testsuite/tests/parsetree/source.ml b/testsuite/tests/parsetree/source.ml
-index c67012e..7d9da5f 100644
---- a/testsuite/tests/parsetree/source.ml
-+++ b/testsuite/tests/parsetree/source.ml
-@@ -3072,7 +3072,7 @@ Error: Types marked with the immediate attribute must be
-        non-pointer types like int or bool
- |}];;
- (*
--   Implicit unpack allows to omit the signature in (val ...) expressions.
-+   Implicit unpack allows one to omit the signature in (val ...) expressions.
-    It also adds (module M : S) and (module M) patterns, relying on
-    implicit (val ...) for the implementation. Such patterns can only
-diff --git a/testsuite/tests/typing-implicit_unpack/implicit_unpack.ml b/testsuite/tests/typing-implicit_unpack/implicit_unpack.ml
-index a6b4d69..9227800 100644
---- a/testsuite/tests/typing-implicit_unpack/implicit_unpack.ml
-+++ b/testsuite/tests/typing-implicit_unpack/implicit_unpack.ml
-@@ -3,7 +3,7 @@
- *)
- (*
--   Implicit unpack allows to omit the signature in (val ...) expressions.
-+   Implicit unpack allows one to omit the signature in (val ...) expressions.
-    It also adds (module M : S) and (module M) patterns, relying on
-    implicit (val ...) for the implementation. Such patterns can only
index e399c4d2ae74ba1bd83059e64826f20219794f07..af639f377d51b3a949a86c6e16358fe1221990df 100644 (file)
@@ -17,10 +17,10 @@ Last-Update: <2019-07-22>
  2 files changed, 4 insertions(+), 1 deletion(-)
 
 diff --git a/configure.ac b/configure.ac
-index 209870e..70bd63f 100644
+index f5d8a26..82172d7 100644
 --- a/configure.ac
 +++ b/configure.ac
-@@ -768,6 +768,9 @@ AS_IF([test x"$enable_shared" != "xno"],
+@@ -767,6 +767,9 @@ AS_IF([test x"$enable_shared" != "xno"],
        natdynlinkopts="-Wl,-E"
        shared_libraries_supported=true])])
  
index 6e42f8b9e6381b1846488b202c2518b4db23e954..669f3e5768c4eec20328d7b48a04d7917b9ca0b3 100644 (file)
@@ -1,8 +1,5 @@
 0003-Don-t-use-rpath.patch
 0004-Put-manpages-in-section-3o-instead-of-3.patch
-0003-Fix-in-configure.am.patch
 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch
-0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch
-0007-Fix-spelling-errors-reported-by-Lintian.patch
 0008-Reimplement-custom-without-hacks.patch