Changes

Allow make to be invoked before configure

This should be improved to give better warnings for when Makefile.config
and Makefile.common are required.
 (commit: d4a5665)

autogen -> make configure
 (commit: 91913bc)

Clean-up autoconf files in make distclean
 (commit: b1c78c0)

Update otherlibraries description
 (commit: 998019d)

Eliminate Config.ocamlopt_c{,pp}flags

Config.ocamlopt_cflags and Config.ocamlopt_cppflags were solely used by
the driver when compiling .c files passed on the command line. The
behaviour of this should be the same as for `ocamlc -c` and the
inclusion of `-fPIC` in `ocamlc_cflags` only on some systems causes
problems for `ocamlmklib` which behaves as though the two drivers
compile C files identically.

This PR eliminates the separate settings in configure.ac and deprecates
the old variables in Config.
 (commit: 2b4fe09)

Clean runtime/primitives.new
 (commit: cc6c09e)

Ensure make distclean works on an unconfigured tree
 (commit: 13786d7)

Update release-checklist
 (commit: f568f85)

Only enable for required targets
 (commit: a2ddf55)

Preserve backtraces in debugger

Add Primitives.cleanup which allows handlers for unexpected exceptions
to cleanup and reraise the exception with its backtrace.
 (commit: e2f278c)

Remove use of Printexc.catch from debugger

Allow the runtime to display details of any uncaught exception (with
backtraces, if enabled). Unix.handle_unix_error is still used to convert
errors from system calls to a less unmeaningful form.
 (commit: 37acb3b)

Don't ever call stop_user_input in line_loop

The caller is now always responsible for calling stop_user_input, rather
than only responsible for calling it on error.
 (commit: d0bab08)

Use Fun.protect where possible
 (commit: 9eeead7)

Testsuite is not parallel
 (commit: 2ddcdf1)

Testsuite is not parallel
 (commit: 48e7150)

Correct implementation of --disable-stdlib-manpages
 (commit: 9c5d7c1)

tests/tool-ocamldep-modalias is not parallel
 (commit: 9fdd31f)

tests/tool-ocamldep-modalias is not parallel
 (commit: cf2db2b)

call_linker now returns exit_code for better error response on linking_error, fixes #7141
 (commit: 8f235ef)

Visit registers at most once in Coloring.iter_preferred
 (commit: d48df3c)

Changes entry
 (commit: 89bb08b)

code review changes
 (commit: 7266b79)

Fix tail-call optimisation with a mutable ref (#9443)

Fix tail-call optimisation with a mutable ref
(Clet_mutable was not recognized properly in tail position.)

Add a test for tail-call optimisation with a mutable ref
 (commit: 2208a4c)

Install a pretty printer for the Fun.Finally_raised exception (#9266)

 (commit: b1fdc44)

matching: what_is_cases returns a head
 (commit: 2d9aafc)

matching: inline split_and_precompile* to clarify compile_*
 (commit: d67a091)

matching: factorize compile_match and compile_match_nonempty
 (commit: b2a2c94)

matching: minor code factorization of compile_* functions
 (commit: 6ceba91)

Changes
 (commit: 761383d)

Reset Reg.visit_generation during Reg.reset
 (commit: 6fbecf0)

Add [@inlined hint] attribute
 (commit: f46abe1)

Add Changes entry
 (commit: 3dee10e)

Reimplement output_value using a hash table to detect sharing (#9353)

The previous implementation was doing temporary in-place modifications
of the OCaml value being marshaled.  This is incompatible with
Multicore OCaml.
 (commit: 67ada54)

Introduce $MAKE to AppVeyor script
 (commit: afe92bb)

Introduce $MAKE to AppVeyor script
 (commit: 540df2e)

Add locations to docstring attributes
 (commit: a534650)

Display AppVeyor environment
 (commit: 1850f55)

Display AppVeyor environment
 (commit: 644696e)

Run AppVeyor with -j for branches
 (commit: 094447b)

Run AppVeyor with -j for branches
 (commit: db1d848)

Use configure-caches on AppVeyor
 (commit: eaa2a01)

Use configure-caches on AppVeyor
 (commit: 014105b)

packed modtype lookup can fail due to missing cmi

This commit removes an assert false and makes the missing
cmi case behaves like the abstract case.
 (commit: 35dbd85)

Add Changes entry
 (commit: a5da416)

Fix #mod_use in toplevel

Regression from #9283.

Fixes #9455
 (commit: 5abff44)

Add a test for #mod_use
 (commit: 528bd78)

s/wrap_mode/wrap_mod/
 (commit: b145395)

Fix the native toplevel too...
 (commit: 221fee0)

toplevels: label the wrap_mod argument
 (commit: a30e621)

Add regression test
 (commit: 1725749)

Prohibit signature local types with constraints
 (commit: 8dcdda9)

Add Changes entry
 (commit: 6dcb770)

Make substitution of type functions more robust
 (commit: 80324ba)

Add test for usage warnings of recursive modules
 (commit: dd8218f)

Improve usage warnings for recursive modules
 (commit: 5f16c55)

Add Changes entry
 (commit: 2c8f99e)

testsuite: -nolabels and commuting optional arguments
 (commit: 245a071)

testsuite: -nolabels, commutes now, might get eliminated later
 (commit: 046da6c)

type_application: merge sargs and more_sargs
 (commit: 2b1e211)

apply the same treatment to Pcl_apply
 (commit: 6d43867)

extract_label: return an option instead of raising
 (commit: b703371)

typeclass: further simplification as suggested by reviewer
 (commit: aa5c1d3)

type_args: forbid optional arguments commuting when [ignore_labels=true]
 (commit: 9e0515f)

type_args: remove ty_old

This was useful when commuting optional arguments was allowed with
`ignore_labels = true`. Which it isn't anymore.
 (commit: 0deda51)

type_args: some comments (and formatting noise)
 (commit: 9632e02)

type_application: primitives inspection helper
 (commit: f444ecd)

type_unknown_args is a fold
 (commit: 5e78b17)

inline type_unknown_args
 (commit: 21656b2)

type_application: implement ignored and omitted in the same way
 (commit: 02a7388)

type_application: better names, some more comments
 (commit: 22657fa)

Typeclass.type_args rewrite in the same way
 (commit: 1294b28)

type_application: better variable name
 (commit: ed654dc)

Changes
 (commit: 73a3f90)

optional arguments eliminated only when followed by unlabelled argument
 (commit: 384aa21)

illegal commutation: more information in error message
 (commit: e01966a)

Further Changes
 (commit: a321395)

Turn off PIE for musl-based Linux on platforms other than amd64 and s390x (#9456)

Alpine Linux and perhaps other musl-based Linux distributions produce
position-independent executables (PIEs) by default.  If non-PIC object
files are given to the linker, it silently produces a wrong executable
that crashes when run.  This is the case for ocamlopt-generated code,
which by default is not PIC except on amd64 (x86_64) and s390x (Z systems).

Closes: #7562 
 (commit: da12974)

add a regression test for issue 9460

See <https://github.com/ocaml/ocaml/issues/9460>.
We currently expect this test to fail on 32bit systems, and succeed on 64bits systems.

Contributed by Richard Jones.
 (commit: 5722f78)

Fix Cmm type of unboxed Int64 values in Clet_mut
 (commit: 8f006a3)

Changes entry
 (commit: 5c0e138)

x86 asm: handle unit names with special characters (#9465)

 (commit: ec6690f)

Fix asmcomp unit name test for bsd (#9473)

 (commit: 91bbdac)

env summary: don't record implicit cmi files

We don't want to record the state of the file system at the start
of the compilation in the compiled files.
Consequently, we only add persistent modules to the env summary
if they have an observable action on the initial environment.
This is only the case if they shadow a non-persistent module of the
initially opened library (which can only be Stdlib currently).
 (commit: c041b03)

Revert "AppVeyor speed-ups"
 (commit: 67c011b)

Cast `getpid()` to `long long` before printing

Follow-up to commit 41441a65f.
That commit fixed the issue in runtime/ .
The present commit fixes the issue in ocamltest/ .
 (commit: 974b9ca)

Test distclean in CI

Ensure that distclean works in an unconfigured tree. At the end of the
build, ensure that no tracked files have been altered or untracked files
created and ensure that distclean removes all ignored files.
 (commit: 8a36b7a)

Use Filename.quote_command (#9476)

 (commit: 15b08d2)

Add -function-sections to missing folder in otherlibs
 (commit: ec03b06)

Define OPTCOMPFLAGS in Makefile.common.in
 (commit: 7465e9f)

Check FUNCTION_SECTIONS in Makefile.common.in to update OPTCOMPFLAGS
 (commit: 44af4ae)

Check FLAMBDA in Makefile.common.in to update OPTCOMPFLAGS
 (commit: 7271919)

Remove stray newlines
 (commit: b823c8d)

Add an entry to Changes
 (commit: 0ba942c)

Move Changes entry
 (commit: 5150303)

Make Cconst_symbol have typ_int to fix no-naked-pointers mode (#9282)

 (commit: d5dadae)

last commit before branching 4.11
 (commit: e92d13c)

first commit after branching 4.11.0
 (commit: ea4542d)

Add riscv64 backend
 (commit: 9c4ff80)

check-typo
 (commit: 7716697)

Changes
 (commit: c6020b9)

Review
 (commit: f50abf4)

Review
 (commit: 9f4266d)

Add NOTES.md
 (commit: b289e39)

Remove vestiges of 32-bit support
 (commit: 5ec06df)

Use allocatable register (ft0) as scratch register for single precision store
 (commit: 12d9fd7)

Use '$' to escape asm symbols
 (commit: 271f66f)

Remove vestiges of 32-bit support
 (commit: 898a2d4)

riscv.S: use hex literal
 (commit: 4b4a108)

Group pattern matching cases together
 (commit: b4166d4)

Use jr instead of jalr
 (commit: 72ca1d6)

Changes
 (commit: f94b366)

check-typo
 (commit: 2e0f1dc)

Allow t0 to be used for the register allocator
 (commit: 7b6ac9d)

check-typo
 (commit: cb8de57)