Go to file
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
.gitignore Include interim fix for aarch64/binutils relocation problems. 2017-09-06 16:13:37 +01:00
0001-Don-t-add-rpaths-to-libraries.patch OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00
0002-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00
0003-configure-Allow-user-defined-C-compiler-flags.patch OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00
0004-Add-RISC-V-backend.patch OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00
0005-Copyright-untabify.patch OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00
0006-fix-caml_c_call-reload-caml_young_limit.patch OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00
0007-Adapt-to-4.07.patch OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00
0008-riscv-Emit-debug-info.patch OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00
ocaml.spec Revert "Disable bootstrapping by default." 2019-04-26 08:52:53 +01:00
sources OCaml 4.07.0 (RHBZ#1536734). 2018-07-11 11:15:38 +01:00