rpms/ocaml
6
0
Fork 0
Code Issues Pull Requests Releases Activity

ppc64 got broken by the new ARM backend, add a minor patch

Browse Source
This commit is contained in:
Karsten Hopp 2012-05-15 15:47:46 +02:00
parent 814f517596
commit 4acc11f96b
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
ocaml.spec
View File

@ -2,7 +2,7 @@
Name: ocaml Name: ocaml
Version: 3.12.1 Version: 3.12.1
Release: 3%{?dist} Release: 4%{?dist}
Summary: Objective Caml compiler and programming environment Summary: Objective Caml compiler and programming environment
@ -38,6 +38,9 @@ Patch4: ocaml-ppc64.patch
# New ARM backend by Benedikt Meurer (PR#5433), backported to OCaml 3.12.1. # New ARM backend by Benedikt Meurer (PR#5433), backported to OCaml 3.12.1.
Patch5: ocaml-3.12.1-merge-the-new-ARM-backend-into-trunk-PR-5433.patch Patch5: ocaml-3.12.1-merge-the-new-ARM-backend-into-trunk-PR-5433.patch
# the new arm backend missed one small patch for PPC:
Patch6: ocaml-3.12-ppc.patch
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
# Depend on previous version of OCaml so that ocamlobjinfo # Depend on previous version of OCaml so that ocamlobjinfo
@ -234,6 +237,7 @@ man pages and info files.
%patch4 -p1 -b .ppc64 %patch4 -p1 -b .ppc64
%endif %endif
%patch5 -p1 -b .new-arm %patch5 -p1 -b .new-arm
%patch6 -p1 -b .ppc_1
cp %{SOURCE2} refman.pdf cp %{SOURCE2} refman.pdf
@ -504,6 +508,9 @@ fi
%changelog %changelog
* Tue May 15 2012 Tue May 15 2012 Karsten Hopp <karsten@redhat.com> 3.12.1-4
- ppc64 got broken by the new ARM backend, add a minor patch
* Sat Apr 28 2012 Richard W.M. Jones <rjones@redhat.com> 3.12.1-3 * Sat Apr 28 2012 Richard W.M. Jones <rjones@redhat.com> 3.12.1-3
- New ARM backend by Benedikt Meurer, backported to OCaml 3.12.1. - New ARM backend by Benedikt Meurer, backported to OCaml 3.12.1.
This has several advantages, including enabling natdynlink on ARM. This has several advantages, including enabling natdynlink on ARM.