From 5d6cecf816913c74945dfbac94b2929780c5b140 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 10 Aug 2015 10:53:32 +0200 Subject: [PATCH] Refresh patches --- debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch | 1 - debian/patches/0002-Call-ld-with-proper-flags.patch | 1 - debian/patches/0003-Don-t-use-rpath.patch | 1 - .../patches/0004-Put-manpages-in-section-3o-instead-of-3.patch | 1 - ...05-Avoid-multiple-declarations-in-generated-.c-files-in.patch | 1 - .../0006-Embed-bytecode-in-C-object-when-using-custom.patch | 1 - debian/patches/0007-Tune-resource-usage-of-some-tests.patch | 1 - .../0008-Native-backtraces-don-t-work-on-powerpc-and-sparc.patch | 1 - 8 files changed, 8 deletions(-) diff --git a/debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch b/debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch index bf9c2fbb..a4a3987b 100644 --- a/debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch +++ b/debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch @@ -30,4 +30,3 @@ index 4ea1498..46149a7 100755 *,gcc*,cygwin,*) nativecccompopts="$gcc_warnings -U_WIN32";; amd64,gcc*,macosx,*) partialld="ld -r -arch x86_64";; amd64,gcc*,solaris,*) partialld="ld -r -m elf_x86_64";; --- diff --git a/debian/patches/0002-Call-ld-with-proper-flags.patch b/debian/patches/0002-Call-ld-with-proper-flags.patch index 5ad1e40d..ff682889 100644 --- a/debian/patches/0002-Call-ld-with-proper-flags.patch +++ b/debian/patches/0002-Call-ld-with-proper-flags.patch @@ -22,4 +22,3 @@ index 46149a7..dfcb849 100755 | sed -e 's/ $/\\ /' >> Makefile echo "DLLCCCOMPOPTS=$dllccompopts" >> Makefile echo "IFLEXDIR=$iflexdir" >> Makefile --- diff --git a/debian/patches/0003-Don-t-use-rpath.patch b/debian/patches/0003-Don-t-use-rpath.patch index 2aa47ad5..c51f355d 100644 --- a/debian/patches/0003-Don-t-use-rpath.patch +++ b/debian/patches/0003-Don-t-use-rpath.patch @@ -22,4 +22,3 @@ index 23a273e..a5e0d34 100644 let starts_with s pref = String.length s >= String.length pref && String.sub s 0 (String.length pref) = pref --- diff --git a/debian/patches/0004-Put-manpages-in-section-3o-instead-of-3.patch b/debian/patches/0004-Put-manpages-in-section-3o-instead-of-3.patch index d44abb78..208913a9 100644 --- a/debian/patches/0004-Put-manpages-in-section-3o-instead-of-3.patch +++ b/debian/patches/0004-Put-manpages-in-section-3o-instead-of-3.patch @@ -19,4 +19,3 @@ index 7c6d988..7700434 100644 $(STDLIB_MLIS) stdlib_html/Pervasives.html: $(STDLIB_MLIS) --- diff --git a/debian/patches/0005-Avoid-multiple-declarations-in-generated-.c-files-in.patch b/debian/patches/0005-Avoid-multiple-declarations-in-generated-.c-files-in.patch index 905c28cb..e3f2c1b9 100644 --- a/debian/patches/0005-Avoid-multiple-declarations-in-generated-.c-files-in.patch +++ b/debian/patches/0005-Avoid-multiple-declarations-in-generated-.c-files-in.patch @@ -98,4 +98,3 @@ index ffc878b..887f25a 100644 val data_global_map: unit -> Obj.t val data_primitive_names: unit -> string --- diff --git a/debian/patches/0006-Embed-bytecode-in-C-object-when-using-custom.patch b/debian/patches/0006-Embed-bytecode-in-C-object-when-using-custom.patch index 178ed45c..4cfa2b9d 100644 --- a/debian/patches/0006-Embed-bytecode-in-C-object-when-using-custom.patch +++ b/debian/patches/0006-Embed-bytecode-in-C-object-when-using-custom.patch @@ -190,4 +190,3 @@ index 34b67dc..e8928e6 100644 + include $(BASEDIR)/makefiles/Makefile.one include $(BASEDIR)/makefiles/Makefile.common --- diff --git a/debian/patches/0007-Tune-resource-usage-of-some-tests.patch b/debian/patches/0007-Tune-resource-usage-of-some-tests.patch index 9a606846..dec00b6d 100644 --- a/debian/patches/0007-Tune-resource-usage-of-some-tests.patch +++ b/debian/patches/0007-Tune-resource-usage-of-some-tests.patch @@ -231,4 +231,3 @@ index c3548fb..177b32a 100644 let iter = try int_of_string Sys.argv.(2) with _ -> 1000 in let ins = Array.make nprocs Unix.stdin in let outs = Array.make nprocs Unix.stdout in --- diff --git a/debian/patches/0008-Native-backtraces-don-t-work-on-powerpc-and-sparc.patch b/debian/patches/0008-Native-backtraces-don-t-work-on-powerpc-and-sparc.patch index 62b0c7ec..d799e219 100644 --- a/debian/patches/0008-Native-backtraces-don-t-work-on-powerpc-and-sparc.patch +++ b/debian/patches/0008-Native-backtraces-don-t-work-on-powerpc-and-sparc.patch @@ -22,4 +22,3 @@ index 33ca1ed..5725f8d 100644 .PHONY: byte byte: --- -- 2.30.2