Commit Graph

142 Commits

Author SHA1 Message Date
Richard W.M. Jones eaa1438730 Fix date in changelog 2014-10-20 08:46:50 +01:00
Richard W.M. Jones 1ea91487d2 ocaml-emacs should require emacs(bin) (RHBZ#1154513). 2014-10-20 08:45:53 +01:00
Richard W.M. Jones 5d60b03be0 Use -fno-strict-aliasing when building the compiler (RHBZ#990540).
ppc, ppc64, ppc64le: Mark stack as non-executable.
2014-09-11 14:53:59 +01:00
Richard W.M. Jones e4cc04ad4a Fix bug in argument parsing (RHBZ#1139790). 2014-09-09 17:41:34 +01:00
Richard W.M. Jones 91c6a95e71 New upstream OCaml 4.02.0 final.
- Add patch for ocaml-camlimages
  (see http://caml.inria.fr/mantis/view.php?id=6517)
2014-08-30 13:37:34 +01:00
Richard W.M. Jones 1dbbca1c02 Rebase on top of OCaml 4.02+rc1 (same as git commit c48fc015). 2014-08-22 20:01:51 +01:00
Peter Robinson e5ae10d862 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-17 12:40:35 +00:00
Richard W.M. Jones 88f9772d9f Add fix for Coq build issue:
http://caml.inria.fr/mantis/view.php?id=6507
2014-08-08 17:48:06 +01:00
Richard W.M. Jones f482b154ca Rebase on top of 4.02.0 beta commit 10e45753.
This changes the definition of String and Bytes, thus necessitating
another complete rebuild :-(
2014-08-01 16:20:20 +01:00
Richard W.M. Jones 7439bfe61f Make the compiler depend on ocaml-runtime explicitly. 2014-07-19 13:45:39 +01:00
Richard W.M. Jones 5815ad5d25 Rebase on top of 4.02.0 beta commit c4f3a6c7.
- Remove the patch to disable CSE, since that problem is fixed upstream.
- Remove the patch fixing caml_callback2 on aarch64 since that patch is
  now upstream.
2014-07-19 11:34:01 +01:00
Richard W.M. Jones fd2e30ff27 Fix broken caml_callback2 on aarch64
http://caml.inria.fr/mantis/view.php?id=6489
2014-07-15 22:39:29 +01:00
Richard W.M. Jones e08cafe6a8 Update previous commit to deal with conditional patches. 2014-07-15 14:53:44 +01:00
Richard W.M. Jones c852c24e5a Disable CSE on 32 bit ARM too. 2014-07-15 14:35:20 +01:00
Richard W.M. Jones e575a86d45 Disable CSE optimization which is broken on aarch64. 2014-07-15 13:07:54 +01:00
Richard W.M. Jones 7335bbf1f3 Update to 4.02.0-beta1 + patches from the upstream 4.02 branch.
- REMOVED labltk and camlp4 packages, since these are now packaged
  separately upstream.
- Upstream includes fix for stack alignment issues on i686, so remove hack.
- Upstream now uses mkstemp where available, so patch removed.
- Upstream includes Aarch64 backend, so remove our own backport.
- Drop BR on ocaml-srpm-macros, since it is now included in Fedora.
2014-07-12 18:49:45 +01:00
Richard W.M. Jones 98f566b78e BR binutils-devel so ocamlobjinfo supports *.cmxs files (RHBZ#1113735). 2014-06-26 20:31:10 +01:00
Richard W.M. Jones 44cd19b48d Fix git.fedorahosted.org URL in comment. 2014-06-24 10:50:44 +01:00
Dennis Gilmore c6f3eac171 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-07 10:28:24 -05:00
Jaroslav Škarvada 5e25399273 - Rebuilt for https://fedoraproject.org/wiki/Changes/f21tcl86 2014-05-21 12:28:00 +02:00
Richard W.M. Jones 95cf7b34ad Mark stack as non-executable on ARM (32 bit) and Aarch64. 2014-05-10 09:07:15 +01:00
Richard W.M. Jones 37ad9becd7 Remove ocaml-srpm-macros subpackage.
This is now a separate package, see RHBZ#1087893.
2014-04-22 11:10:21 +01:00
Richard W.M. Jones a80eeaf35a Fix s390x builds (no native compiler). 2014-04-15 14:47:30 +01:00
Richard W.M. Jones ead83e2240 Remove ExclusiveArch.
Add ocaml-srpm-macros subpackage containing arch macros.

- See: RHBZ#1087794
2014-04-15 11:49:45 +01:00
Richard W.M. Jones 31bf86cfb0 Fix aarch64 relocation problems again.
Earlier patch was dropped accidentally.
2014-04-14 21:26:33 +01:00
Richard W.M. Jones 880ea30949 Apply ppc64le patch properly. 2014-04-09 20:31:15 +01:00
Richard W.M. Jones a0eedc071f Add ppc64le support (thanks: Michel Normand) (RHBZ#1077767). 2014-04-09 17:39:37 +01:00
Richard W.M. Jones 0db310c916 Fix --flag=arg patch (thanks: Anton Lavrik, Ignas Vyšniauskas). 2014-04-01 11:36:02 +01:00
Richard W.M. Jones 073715bf7d Really fix aarch64 build. 2014-03-24 12:43:34 +00:00
Richard W.M. Jones bf77c63265 Include a fix for aarch64 relocation problems
http://caml.inria.fr/mantis/view.php?id=6283
2014-03-24 11:12:36 +00:00
Richard W.M. Jones 0666b78faf Don't use ifarch around Patch lines, as it means the patch files
don't get included in the spec file.
2014-01-08 13:30:27 +00:00
Richard W.M. Jones 179ac32d01 Work around gcc stack alignment issues, see
http://caml.inria.fr/mantis/view.php?id=5700
2014-01-06 19:27:11 +00:00
Richard W.M. Jones 2b6c21aaa3 Add aarch64 (arm64) code generator (correctly this time).
This fixes commit efb2ca148b.
2013-12-31 12:18:07 +00:00
Richard W.M. Jones efb2ca148b Add aarch64 (arm64) code generator. 2013-12-30 22:04:26 +00:00
Richard W.M. Jones 0d053e766f Add bundled(md5-plumb) (thanks: Tomas Mraz). 2013-11-21 11:31:57 +00:00
Richard W.M. Jones f231f651e6 Add NON-upstream (but being sent upstream) patch to allow --flag=arg
as an alternative to --flag arg (RHBZ#1028650).
2013-11-09 09:15:11 +00:00
Richard W.M. Jones 11969865cd Disable -lcurses. This is not actually used, just linked with unnecessarily. 2013-09-14 16:04:52 +01:00
Richard W.M. Jones 71bcc7c84c Fix the build on ppc64. 2013-09-14 12:14:22 +01:00
Richard W.M. Jones 2d6392e7eb Update to new major version 4.01.0.
- Rebase patches.
- Remove bogus Requires 'ncurses-devel'.  The base ocaml package already
  pulls in the library implicitly.
- Remove bogus Requires 'gdbm-devel'.  Nothing in the source mentions gdbm.
- Use mkstemp instead of mktemp in ocamlyacc.
- Add LICENSE as doc to some subpackages to keep rpmlint happy.
- Remove .ignore file from some packages.
- Remove period from end of Summary.
2013-09-13 21:45:36 +01:00
Dennis Gilmore 0f377d2b84 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild 2013-08-03 09:45:26 -05:00
Richard W.M. Jones 31ee479af5 Fix build dates in changelog. 2013-07-31 13:24:41 +01:00
Dennis Gilmore 6dab9e0d90 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild 2013-02-14 02:53:39 -06:00
Richard W.M. Jones ed0c3aae64 OCaml 4.00.1.
- Clean up spec file.
2012-10-16 19:26:03 +01:00
Richard W.M. Jones 0612b77708 ppc supports natdynlink. 2012-08-16 10:18:33 +01:00
Richard W.M. Jones 24e662a3fe Upgrade to OCaml 4.00.0 official release.
- Remove one patch (add -lpthread) which went upstream.
2012-07-28 11:25:14 +01:00
Dennis Gilmore e5596c32b7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild 2012-07-20 00:48:10 -05:00
Richard W.M. Jones 55e460cdec No change, just fix up changelog. 2012-06-10 21:43:42 +01:00
Richard W.M. Jones 324bd0d871 Rebuild for OCaml 4.00.0. 2012-06-10 21:37:22 +01:00
Richard W.M. Jones dca4925f9e - Make OCaml dependency generator self-contained so it doesn't need
previous version of OCaml around.
2012-06-07 18:36:30 +01:00
Richard W.M. Jones 518f1af016 Fix PPC64 backend. 2012-06-07 16:57:55 +01:00