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

Add support for RISC-V using out of tree support from:

Browse Source 
https://github.com/nojb/riscv-ocaml
This commit is contained in:
Richard W.M. Jones 2016-11-08 18:58:49 +00:00
parent bdab1d8d09
commit 3faf9753d1
6 changed files with 1768 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
0001-Don-t-add-rpaths-to-libraries.patch
View File

@ -1,7 +1,7 @@
From fc5ac0d955afce294fe58a20cab8e9dda572de78 Mon Sep 17 00:00:00 2001 From fc5ac0d955afce294fe58a20cab8e9dda572de78 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com> From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 24 Jun 2014 10:00:15 +0100 Date: Tue, 24 Jun 2014 10:00:15 +0100
Subject: [PATCH 1/4] Don't add rpaths to libraries. Subject: [PATCH 1/5] Don't add rpaths to libraries.
--- ---
tools/Makefile.shared | 6 +++--- tools/Makefile.shared | 6 +++---

2
0002-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch
View File

@ -1,7 +1,7 @@
From 61bdb02cedd1be6ecdc37bc4a80ffe3f19aa5521 Mon Sep 17 00:00:00 2001 From 61bdb02cedd1be6ecdc37bc4a80ffe3f19aa5521 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com> From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 29 May 2012 20:40:36 +0100 Date: Tue, 29 May 2012 20:40:36 +0100
Subject: [PATCH 2/4] ocamlbyteinfo, ocamlplugininfo: Useful utilities from Subject: [PATCH 2/5] ocamlbyteinfo, ocamlplugininfo: Useful utilities from
Debian, sent upstream. Debian, sent upstream.
See: See:

2
0003-configure-Allow-user-defined-C-compiler-flags.patch
View File

@ -1,7 +1,7 @@
From 2f93494aea56c9216bb561800a6861b653f409ce Mon Sep 17 00:00:00 2001 From 2f93494aea56c9216bb561800a6861b653f409ce Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com> From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 29 May 2012 20:44:18 +0100 Date: Tue, 29 May 2012 20:44:18 +0100
Subject: [PATCH 3/4] configure: Allow user defined C compiler flags. Subject: [PATCH 3/5] configure: Allow user defined C compiler flags.
--- ---
configure | 4 ++++ configure | 4 ++++

2
0004-Don-t-rewrite-Werror.patch
View File

@ -1,7 +1,7 @@
From cdd42ba82210bfaa97cfa010eaac3d805b80cb49 Mon Sep 17 00:00:00 2001 From cdd42ba82210bfaa97cfa010eaac3d805b80cb49 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com> From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 3 Nov 2016 19:50:20 +0000 Date: Thu, 3 Nov 2016 19:50:20 +0000
Subject: [PATCH 4/4] Don't rewrite -Werror. Subject: [PATCH 4/5] Don't rewrite -Werror.
In Fedora our CFLAGS contains -Wall -Werror=format-security. In Fedora our CFLAGS contains -Wall -Werror=format-security.

1756
0005-RISC-V-support-2016-11-08.patch Normal file
View File

File diff suppressed because it is too large Load Diff

9
ocaml.spec
View File

@ -27,7 +27,7 @@
Name: ocaml Name: ocaml
Version: 4.04.0 Version: 4.04.0
Release: 1%{?dist} Release: 2%{?dist}
Summary: OCaml compiler and programming environment Summary: OCaml compiler and programming environment
@ -60,6 +60,9 @@ Patch0001: 0001-Don-t-add-rpaths-to-libraries.patch
Patch0002: 0002-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch Patch0002: 0002-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch
Patch0003: 0003-configure-Allow-user-defined-C-compiler-flags.patch Patch0003: 0003-configure-Allow-user-defined-C-compiler-flags.patch
Patch0004: 0004-Don-t-rewrite-Werror.patch Patch0004: 0004-Don-t-rewrite-Werror.patch
# Out of tree patch from
# https://github.com/nojb/riscv-ocaml
Patch0005: 0005-RISC-V-support-2016-11-08.patch
BuildRequires: binutils-devel BuildRequires: binutils-devel
BuildRequires: ncurses-devel BuildRequires: ncurses-devel
@ -436,6 +439,10 @@ fi
%changelog %changelog
* Tue Nov 08 2016 Richard W.M. Jones <rjones@redhat.com> - 4.04.0-2
- Add support for RISC-V using out of tree support from:
https://github.com/nojb/riscv-ocaml
* Fri Nov 04 2016 Richard W.M. Jones <rjones@redhat.com> - 4.04.0-1 * Fri Nov 04 2016 Richard W.M. Jones <rjones@redhat.com> - 4.04.0-1
- New upstream version 4.04.0. - New upstream version 4.04.0.