From f482b154ca4adabceb130024243be9e4e40b64e3 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 1 Aug 2014 15:43:00 +0100 Subject: [PATCH] Rebase on top of 4.02.0 beta commit 10e45753. This changes the definition of String and Bytes, thus necessitating another complete rebuild :-( --- 0001-Don-t-ignore-.-configure-it-s-a-real-git-file.patch | 4 ++-- ...e-empty-compilerlibs-directory-is-created-by-gi.patch | 4 ++-- 0003-Don-t-add-rpaths-to-libraries.patch | 4 ++-- ...byteinfo-ocamlplugininfo-Useful-utilities-from-.patch | 4 ++-- 0005-configure-Allow-user-defined-C-compiler-flags.patch | 4 ++-- 0006-Add-support-for-ppc64.patch | 4 ++-- 0007-Add-support-for-ppc64le.patch | 4 ++-- 0008-arm-arm64-Mark-stack-as-non-executable.patch | 4 ++-- 0009-arg-Add-no_arg-and-get_arg-helper-functions.patch | 4 ++-- ...llow-flags-such-as-flag-arg-as-well-as-flag-arg.patch | 4 ++-- ocaml.spec | 9 ++++++--- sources | 2 +- 12 files changed, 27 insertions(+), 24 deletions(-) diff --git a/0001-Don-t-ignore-.-configure-it-s-a-real-git-file.patch b/0001-Don-t-ignore-.-configure-it-s-a-real-git-file.patch index f257220..793b53d 100644 --- a/0001-Don-t-ignore-.-configure-it-s-a-real-git-file.patch +++ b/0001-Don-t-ignore-.-configure-it-s-a-real-git-file.patch @@ -1,4 +1,4 @@ -From 7cc05d407f206f4f506cd9720e4ec62024d88e99 Mon Sep 17 00:00:00 2001 +From 39f4cb65afc38a5012a8cdf694dd5686dd60b727 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 24 Jun 2014 22:29:38 +0100 Subject: [PATCH 01/10] Don't ignore ./configure, it's a real git file. @@ -20,5 +20,5 @@ index 2817041..6835234 100644 /ocamlc.opt /expunge -- -1.9.0 +1.9.3 diff --git a/0002-Ensure-empty-compilerlibs-directory-is-created-by-gi.patch b/0002-Ensure-empty-compilerlibs-directory-is-created-by-gi.patch index d8461f3..bb930e0 100644 --- a/0002-Ensure-empty-compilerlibs-directory-is-created-by-gi.patch +++ b/0002-Ensure-empty-compilerlibs-directory-is-created-by-gi.patch @@ -1,4 +1,4 @@ -From 6e7303dbfe3edefdb8449fc39e7ee63958fbd60a Mon Sep 17 00:00:00 2001 +From b766bba6c388a6772d7d918ea7134f84926c41fd Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 7 Jun 2012 15:36:16 +0100 Subject: [PATCH 02/10] Ensure empty compilerlibs/ directory is created by git. @@ -14,5 +14,5 @@ diff --git a/compilerlibs/.exists b/compilerlibs/.exists new file mode 100644 index 0000000..e69de29 -- -1.9.0 +1.9.3 diff --git a/0003-Don-t-add-rpaths-to-libraries.patch b/0003-Don-t-add-rpaths-to-libraries.patch index 0a16984..4459712 100644 --- a/0003-Don-t-add-rpaths-to-libraries.patch +++ b/0003-Don-t-add-rpaths-to-libraries.patch @@ -1,4 +1,4 @@ -From 8dd577b4959375c1011e4dcf835ee74caef45420 Mon Sep 17 00:00:00 2001 +From ba4b5ff5197769c89169697dae4787922c99a92c Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 24 Jun 2014 10:00:15 +0100 Subject: [PATCH 03/10] Don't add rpaths to libraries. @@ -25,5 +25,5 @@ index c4c9030..7a918e5 100644 sed -n -e 's/^#ml //p' ../config/Makefile) \ > ocamlmklibconfig.ml -- -1.9.0 +1.9.3 diff --git a/0004-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch b/0004-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch index b3ad0e4..f2ec3b2 100644 --- a/0004-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch +++ b/0004-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch @@ -1,4 +1,4 @@ -From fd8991ecdd206adc765a8da4953da6599ccacf3b Mon Sep 17 00:00:00 2001 +From b57344b6f2527f13dfcf6452353f09c85faef940 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 29 May 2012 20:40:36 +0100 Subject: [PATCH 04/10] ocamlbyteinfo, ocamlplugininfo: Useful utilities from @@ -236,5 +236,5 @@ index 0000000..e28800f + header.units + end -- -1.9.0 +1.9.3 diff --git a/0005-configure-Allow-user-defined-C-compiler-flags.patch b/0005-configure-Allow-user-defined-C-compiler-flags.patch index 89da7f9..d1112b2 100644 --- a/0005-configure-Allow-user-defined-C-compiler-flags.patch +++ b/0005-configure-Allow-user-defined-C-compiler-flags.patch @@ -1,4 +1,4 @@ -From d4d6771059115cbb43bba5ab44eba8f30df6012e Mon Sep 17 00:00:00 2001 +From f90ddd09c1f50a993806632efb46416af3e20e0e Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 29 May 2012 20:44:18 +0100 Subject: [PATCH 05/10] configure: Allow user defined C compiler flags. @@ -23,5 +23,5 @@ index 74d489f..251ee2c 100755 cclibs="$cclibs $mathlib" -- -1.9.0 +1.9.3 diff --git a/0006-Add-support-for-ppc64.patch b/0006-Add-support-for-ppc64.patch index ef5ddc8..8be4322 100644 --- a/0006-Add-support-for-ppc64.patch +++ b/0006-Add-support-for-ppc64.patch @@ -1,4 +1,4 @@ -From 23059f5c594bbae825cfa6a0e511363a13ec5104 Mon Sep 17 00:00:00 2001 +From 691620fe915dfa850ad0dd126619184db0e0cbf3 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 29 May 2012 20:47:07 +0100 Subject: [PATCH 06/10] Add support for ppc64. @@ -2126,5 +2126,5 @@ index 251ee2c..5f92bac 100755 aspp="$bytecc -c";; sparc,solaris) as="${TOOLPREF}as" -- -1.9.0 +1.9.3 diff --git a/0007-Add-support-for-ppc64le.patch b/0007-Add-support-for-ppc64le.patch index 028502c..0a1c54e 100644 --- a/0007-Add-support-for-ppc64le.patch +++ b/0007-Add-support-for-ppc64le.patch @@ -1,4 +1,4 @@ -From 1b87259914c2ed9ee0dc7e8c3dacbe1b7a257504 Mon Sep 17 00:00:00 2001 +From 925ead0db97e6ae5ed158feabd80b0cc2b67a844 Mon Sep 17 00:00:00 2001 From: Michel Normand Date: Tue, 18 Mar 2014 09:15:47 -0400 Subject: [PATCH 07/10] Add support for ppc64le. @@ -1913,5 +1913,5 @@ index 5f92bac..8b300a4 100755 aspp="$bytecc -c";; sparc,solaris) as="${TOOLPREF}as" -- -1.9.0 +1.9.3 diff --git a/0008-arm-arm64-Mark-stack-as-non-executable.patch b/0008-arm-arm64-Mark-stack-as-non-executable.patch index 6805361..c852849 100644 --- a/0008-arm-arm64-Mark-stack-as-non-executable.patch +++ b/0008-arm-arm64-Mark-stack-as-non-executable.patch @@ -1,4 +1,4 @@ -From 0e1c8ad58e3841d9610a4c4aa19c38c5dbd02040 Mon Sep 17 00:00:00 2001 +From dab7f94484f21ae05a996a11177bad9b4435b610 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 10 May 2014 03:20:35 -0400 Subject: [PATCH 08/10] arm, arm64: Mark stack as non-executable. @@ -35,5 +35,5 @@ index fa871df..50abdae 100644 + /* Mark stack as non-executable, PR#4564 */ + .section .note.GNU-stack,"",%progbits -- -1.9.0 +1.9.3 diff --git a/0009-arg-Add-no_arg-and-get_arg-helper-functions.patch b/0009-arg-Add-no_arg-and-get_arg-helper-functions.patch index ef086e3..8c4c818 100644 --- a/0009-arg-Add-no_arg-and-get_arg-helper-functions.patch +++ b/0009-arg-Add-no_arg-and-get_arg-helper-functions.patch @@ -1,4 +1,4 @@ -From 9466d5ed5d621cb6ffd61ea952321159f6c2b716 Mon Sep 17 00:00:00 2001 +From e195fe3961208a2dd2b668b5a37f5c44fa6445a1 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 1 Apr 2014 11:17:07 +0100 Subject: [PATCH 09/10] arg: Add no_arg and get_arg helper functions. @@ -114,5 +114,5 @@ index 0f6480b..a41e0a2 100644 treat_action action with Bad m -> stop (Message m); -- -1.9.0 +1.9.3 diff --git a/0010-arg-Allow-flags-such-as-flag-arg-as-well-as-flag-arg.patch b/0010-arg-Allow-flags-such-as-flag-arg-as-well-as-flag-arg.patch index 54a25d5..1fbfc6d 100644 --- a/0010-arg-Allow-flags-such-as-flag-arg-as-well-as-flag-arg.patch +++ b/0010-arg-Allow-flags-such-as-flag-arg-as-well-as-flag-arg.patch @@ -1,4 +1,4 @@ -From f3b3583ce96430228aa9d2286da0bd0f2b82eca9 Mon Sep 17 00:00:00 2001 +From a39906c0ab2560969575d60b3ff74e641027f8a9 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 1 Apr 2014 11:21:40 +0100 Subject: [PATCH 10/10] arg: Allow flags such as --flag=arg as well as --flag @@ -78,5 +78,5 @@ index 22eda40..7078071 100644 Examples ([cmd] is assumed to be the command name): -- -1.9.0 +1.9.3 diff --git a/ocaml.spec b/ocaml.spec index 2c40220..1b87dbc 100644 --- a/ocaml.spec +++ b/ocaml.spec @@ -15,12 +15,12 @@ %global natdynlink 0 %endif -%global gitcommit c4f3a6c70c12681871573851921d3b070be5744b -%global shortcommit c4f3a6c7 +%global gitcommit 10e45753f3d0b6b0313b6377afd722e54d7286b5 +%global shortcommit 10e45753 Name: ocaml Version: 4.02.0 -Release: 0.7.git%{shortcommit}%{?dist} +Release: 0.8.git%{shortcommit}%{?dist} Summary: OCaml compiler and programming environment @@ -420,6 +420,9 @@ fi %changelog +* Fri Aug 01 2014 Richard W.M. Jones - 4.02.0-0.8 +- Rebase on top of 4.02.0 beta commit 10e45753. + * Sat Jul 19 2014 Richard W.M. Jones - 4.02.0-0.7 - Rebase on top of 4.02.0 beta commit c4f3a6c7. - Remove the patch to disable CSE, since that problem is fixed upstream. diff --git a/sources b/sources index 2abd34b..1d09e35 100644 --- a/sources +++ b/sources @@ -1,4 +1,4 @@ c308e831a1c5d6b3024bb339fcee72f4 ocaml-4.02beta-refman-html.tar.gz 672044269cea28b661fca5c0edadc195 ocaml-4.02beta-refman.info.tar.gz d05fc06025d7bad2a969a659f6de1c83 ocaml-4.02beta-refman.pdf -469c97675af781c2f737f5692fac3b84 ocaml-c4f3a6c70c12681871573851921d3b070be5744b.tar.gz +979cc1eb74713122fc15a406a10c54a8 ocaml-10e45753f3d0b6b0313b6377afd722e54d7286b5.tar.gz