rpms
/
ocaml
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
266 Commits 33 Branches 100 Tags 1.2 MiB
Commit Graph

256 Commits

Author SHA1 Message Date
Richard W.M. Jones 1da04a1857 OCaml 4.08.0 beta 3 (RHBZ#1673688). 
- emacs subpackage has been dropped (from upstream):
  https://github.com/ocaml/ocaml/pull/2078#issuecomment-443322613
  https://github.com/Chris00/caml-mode
- Remove ocamlbyteinfo and ocamlpluginfo, neither can be compiled.
- Disable tests on all architectures, temporarily hopefully.
- Package threads/*.mli files.
 2019-04-26 16:46:59 +01:00
Richard W.M. Jones 1be91fb723 Revert "Disable bootstrapping by default." 
This doesn't work well since non-bootstrapping cannot be used to move
from one minor release to the next.  For example if you have OCaml
4.07.0 then you cannot use non-bootstrapping to move to 4.07.1,
because the *.cmi files are incompatible between the two releases.

We need to rethink this.

This reverts commit 8f288a07f3.
 2019-04-26 08:52:53 +01:00
Fedora Release Engineering 4a96e5f705 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-02-01 16:44:45 +00:00
Igor Gnatenko a95e2b445e
Remove obsolete scriptlets 
References: https://fedoraproject.org/wiki/Changes/RemoveObsoleteScriptlets
Signed-off-by: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
 2019-01-27 19:39:36 +01:00
Richard W.M. Jones 8f288a07f3 Disable bootstrapping by default. 
Use the previously built (in Fedora) OCaml compiler to build the new
compiler.

Provide --with bootstrap if people want to build OCaml using the
embedded binary compiler shipped with upstream sources.
 2018-08-17 19:33:35 +01:00
Fedora Release Engineering d3dd586fa4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-13 14:39:55 +00:00
Richard W.M. Jones 148a5c2576 OCaml 4.07.0 (RHBZ#1536734). 
Small adjustments to ocamldoc packaging.
 2018-07-11 11:15:38 +01:00
Richard W.M. Jones 4729dd2ae1 Enable emacs again on riscv64. 2018-06-26 10:21:24 +01:00
Richard W.M. Jones 0c1300311f OCaml 4.07.0-rc1 (RHBZ#1536734). 2018-06-19 18:32:28 +01:00
Richard W.M. Jones 05d5087a40 Add RISC-V patch to add debuginfo (DWARF) generation. 2018-06-05 21:04:48 +01:00
Richard W.M. Jones 9bc0b70a71 OCaml 4.07.0-beta2 (RHBZ#1536734). 2018-04-26 15:01:11 +01:00
Richard W.M. Jones 42201e8fdf Add another couple of RISC-V patches from nojb branch. 2018-02-25 15:14:24 +00:00
Richard W.M. Jones 23c0207aac Remove mesa* dependencies which are not needed. 2018-02-24 20:13:14 +00:00
Richard W.M. Jones bcd06cf034 Add dependency on gcc. 2018-02-18 18:40:41 +00:00
Fedora Release Engineering c4e7f1c7b1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-08 08:44:07 +00:00
Richard W.M. Jones 4644b253ab Don't require the checks to succeed on ppc64. 
There is a new failure:

Running tests from 'tests/lib-dynlink-native' ...
 ... testing 'main'Fatal error: exception Invalid_argument("output_value: abstract value (outside heap)")
 2018-01-10 14:56:25 +00:00
Richard W.M. Jones e65cf15d35 Drop non-free documentation (RHBZ#1530647). 2018-01-10 14:27:37 +00:00
Richard W.M. Jones a4c8f9a8f0 New upstream version 4.06.0. 
Enable parallel builds again.
Rebase patches.
 2017-11-07 14:58:29 +00:00
Richard W.M. Jones b562129589 Add final upstream fix for aarch64/binutils relocation problems. 
https://github.com/ocaml/ocaml/pull/1330
 2017-09-13 21:07:17 +01:00
Richard W.M. Jones 5ea3c98449 Include interim fix for aarch64/binutils relocation problems. 2017-09-06 16:13:37 +01:00
Richard W.M. Jones 59545eed91 Bump release. 
Apparently Koji can't handle the same NVR built twice even if
the old build was untagged.
 2017-08-07 08:56:25 +01:00
Richard W.M. Jones 5f905fc187 - New upstream version 4.05.0. 
- Disable parallel builds for now.
- *.mli files are now included in ocaml-compiler-libs.
- Add possible fix for aarch64 with new binutils.
 2017-08-05 16:33:41 +01:00
Richard W.M. Jones 42b3c165c6 Revert "Disable tests on aarch64 (https://caml.inria.fr/mantis/view.php?id=7602)" 
Reenable these tests.  There is a patch which fixes the problem
instead.

This reverts commit dd7a7dca92.
 2017-08-05 16:16:44 +01:00
Richard W.M. Jones dd7a7dca92 Disable tests on aarch64 (https://caml.inria.fr/mantis/view.php?id=7602) 2017-08-05 12:24:27 +01:00
Fedora Release Engineering bf330de0a3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-03 04:12:31 +00:00
Fedora Release Engineering ec776d5e33 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 01:25:09 +00:00
Richard W.M. Jones 725d4a96c7 Revert "New upstream version 4.05.0." 
It's been decided to allow the Fedora 27 Mass Rebuild to take place
before OCaml 4.05.0 is added to Fedora.  To avoid this package
accidentally getting included in the mass rebuild, this commit reverts
the new upstream version, and then it will be un-re-verted after the
Mass Rebuild.

This reverts commit 40c060b8ec.
 2017-07-21 11:00:11 +01:00
Richard W.M. Jones 40c060b8ec New upstream version 4.05.0. 
- Disable parallel builds for now.
- *.mli files are now included in ocaml-compiler-libs.
 2017-07-18 17:40:06 +01:00
Petr Písař f1516cc100 perl dependency renamed to perl-interpreter <https://fedoraproject.org/wiki/Changes/perl_Package_to_Install_Core_Modules> 2017-07-12 14:33:58 +02:00
Richard W.M. Jones 310b7aa2bb New upstream version 4.04.2. 
Fix: ocaml: Insufficient sanitisation allows privilege escalation for
  setuid binaries (CVE-2017-9772) (RHBZ#1464920).
 2017-06-26 10:53:06 +01:00
Richard W.M. Jones 62c9a887d9 New upstream version 4.04.1. 2017-05-10 12:50:40 +01:00
Richard W.M. Jones fcd7508fcd Moved fedora-ocaml git repo from fedorahosted to pagure.io. 
This is just a comment update, no need to rebuild.
 2017-05-10 12:43:23 +01:00
Fedora Release Engineering 1d4f5463b4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 00:27:59 +00:00
Igor Gnatenko 0d95d2cc27 Rebuild for readline 7.x 
Signed-off-by: Igor Gnatenko <ignatenko@redhat.com>
 2017-01-12 17:30:35 +01:00
Richard W.M. Jones 22d2d1d45d riscv: Further fixes for https://github.com/nojb/riscv-ocaml/issues/2 2016-11-23 13:23:03 +00:00
Richard W.M. Jones 0e2c6567fd riscv: Further fix for https://github.com/nojb/riscv-ocaml/issues/2 2016-11-23 10:47:58 +00:00
Richard W.M. Jones 1b4063eb57 Update RISC-V support to fix 
https://github.com/nojb/riscv-ocaml/issues/2
 2016-11-22 22:21:33 +00:00
Richard W.M. Jones a48061fc04 Temporarily disable emacs subpackage on riscv64. 2016-11-11 21:48:51 +00:00
Richard W.M. Jones 2730b0fa32 riscv64: Fix intermediate operands. 
(https://github.com/nojb/riscv-ocaml/issues/1)
 2016-11-11 12:15:04 +00:00
Richard W.M. Jones 746dc88032 Replace s390 fix with final patch. 
No need to rebuild anything.
 2016-11-11 12:14:46 +00:00
Richard W.M. Jones 02890f76ff s390x: Fix address of caml_raise_exn in native dynlink modules. 
Upstream bug report:
    https://caml.inria.fr/mantis/view.php?id=7405
 2016-11-09 16:19:54 +00:00
Richard W.M. Jones 3faf9753d1 Add support for RISC-V using out of tree support from: 
https://github.com/nojb/riscv-ocaml
 2016-11-08 18:58:49 +00:00
Richard W.M. Jones bdab1d8d09 Tests pass on aarch64, so make that check mandatory too. 2016-11-04 22:46:58 +00:00
Richard W.M. Jones c99809b76e New upstream version 4.04.0. 2016-11-04 22:17:02 +00:00
Richard W.M. Jones 22dd7125c6 New upstream version 4.04.0+beta2. 2016-11-04 10:06:18 +00:00
Richard W.M. Jones 496d4e4eaf CVE-2015-8869 ocaml: sizes arguments are sign-extended from 
32 to 64 bits (RHBZ#1332090)
 2016-05-04 15:23:21 +01:00
Fedora Release Engineering 32ff87d95d - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-04 11:03:41 +00:00
Richard W.M. Jones 34fde6cc25 New upstream version: 4.02.3. 2015-07-28 11:07:36 +01:00
Richard W.M. Jones cf3cc5b245 ppc64/ppc64le: Fix behaviour of Int64.max_int ÷ -1 (RHBZ#1236615). 2015-06-29 21:55:49 +01:00
Richard W.M. Jones 223db9b72f Couple of minor build fixes for ppc64 and ppc64le. 2015-06-29 14:02:09 +01:00
Richard W.M. Jones 78b8ce38c4 Enable the test suite during the build. Currently the results are only advisory. 2015-06-26 20:30:53 +01:00
Richard W.M. Jones bdf7af5cc7 New upstream version: 4.02.2. 
- No need for a mass rebuild, since this version is identical to RC1.
 2015-06-23 17:04:13 +01:00
Richard W.M. Jones c5c148df70 Fix date in changelog 2015-06-16 14:04:20 +01:00
Richard W.M. Jones c5cb967506 New upstream version: 4.02.2+rc1. 
- Dropped two aarch64 patches which are now included upstream.
- Includes libasmrun_shared.so (RHBZ#1195025).
 2015-06-16 14:00:05 +01:00
Richard W.M. Jones 23620d41df aarch64: Use upstream version of patch that fixes RHBZ#1224815. 2015-06-10 11:53:05 +01:00
Richard W.M. Jones ca82dc7a94 Fix git patch. 2015-06-09 12:39:44 +01:00
Richard W.M. Jones 5b5668433a aarch64: AArch64 backend generates invalid asm: conditional branch out of range (RHBZ#1224815). 2015-06-09 12:32:25 +01:00
Richard W.M. Jones 0697d20197 ppc64le: Fix calling convention of external functions with > 8 parameters (RHBZ#1225995). 2015-05-28 21:20:35 +01:00
Richard W.M. Jones c8a94cd7b5 Fix gdb stack traces on aarch64 (upstream PR6490). Thanks: Mark Shinwell. 2015-05-06 19:30:47 +01:00
Richard W.M. Jones 4c52516d71 ppc, ppc64, ppc64le: Properly mark stack as non-executable. 
The upstream fix was not applied completely.
 2015-04-23 14:41:34 +01:00
Richard W.M. Jones 9ca8e1ea34 Kill dependency on rpm-build. Added in 2009, apparently by accident. 
(Thanks: Jon Ludlam)
 2015-02-26 16:12:15 +00:00
Richard W.M. Jones fa72b7f43e New upstream version 4.02.1. 
- Rebase patches on top.
 2015-02-16 12:39:40 +00:00
Richard W.M. Jones c4dd5fe841 More fixes for ppc64/ppc64le (RHBZ#1156300). 2014-10-24 12:08:00 +01:00
Richard W.M. Jones a7ead0bb4e Fixes for ppc64/ppc64le (RHBZ#1156300). 2014-10-24 10:15:31 +01:00
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