summaryrefslogtreecommitdiff
path: root/configure.ac
Commit message (Expand)AuthorAgeFilesLines
* configure: update the list of configurations that support native codeXavier Leroy2022-01-181-75/+75
* configure: more careful configuration for the native-code compilerXavier Leroy2022-01-181-4/+12
* configure: update the --disable-systhreads optionXavier Leroy2022-01-181-25/+23
* Get rid of <caml/compatibility.h> (#10863)Nicolás Ojeda Bär2022-01-101-2/+0
* Merge pull request #10831 from ocaml-multicore/multicore-prXavier Leroy2022-01-101-38/+27
|\
| * Merge pull request ocaml-multicore/ocaml-multicore#351 from dra27/windows-portKC Sivaramakrishnan2021-12-241-3/+6
| |\
| | * Implement systhreads via winpthreads for nowDavid Allsopp2021-12-231-0/+1
| | * Implement print_trace on WindowsDavid Allsopp2021-12-231-2/+2
| | * Use winpthreads on mingw-w64David Allsopp2021-12-231-2/+2
| | * Implement memory reservation with VirtualAllocDavid Allsopp2021-12-231-0/+2
| | * Fix typo in configure.acDavid Allsopp2021-12-231-1/+1
| * | Remove the naked_pointers autoconf variableDavid Allsopp2021-12-231-1/+0
| |/
| * Merge commit 'b4c5d7a55d9ec25693ba741a613d81f2c3ef66bc' into 5.00_rebase_to_prTom Kelly2021-12-211-2/+2
| |\
| * \ Merge commit 'edf0075888ec27a50c4f50f76dba46f730797651' into 5.00_rebase_to_prTom Kelly2021-12-201-2/+2
| |\ \
| * \ \ Merge commit '18c4d16b3b80388f5b77dcc5a268c33eceb37ebe' into 5.00_rebase_to_prTom Kelly2021-12-201-8/+0
| |\ \ \
| * \ \ \ Merge commit 'a7bf9cbaf368f178b606e7cf38ede4a22984a9da' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+13
| |\ \ \ \
| * \ \ \ \ Merge commit '0b3f8dd77d7569208f21bcbd67b85260eed65076' into 5.00_rebase_to_prTom Kelly2021-12-201-18/+38
| |\ \ \ \ \
| * | | | | | Remove two more NAKED_POINTERS_CHECKER sections picked up in reviewTom Kelly2021-11-291-17/+0
| * | | | | | removal of enable-naked-pointers-checker from configureTom Kelly2021-11-291-5/+0
| * | | | | | Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00Tom Kelly2021-10-041-45/+37
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge commit '359f46f2241fe828ad7eb6252cc8fd68ce92731d' into 5.00Tom Kelly2021-10-041-1/+0
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge commit '0117428c3ea163f42f4549ff4e7f255f29f6b4d4' into 5.00Tom Kelly2021-10-041-3/+3
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge commit '672965bfda6220c690d26ff6a0b7a9a59519d9af' into 5.00Tom Kelly2021-10-041-3/+5
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge commit '8949e28fa1995de9fa72ee377993624af0f4a616' into 5.00Tom Kelly2021-10-041-12/+16
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge commit '650ba029a5c1c3e9f2edc8cacd30ff27d3184348' into 5.00Tom Kelly2021-10-041-1/+9
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge commit 'e5e9c5fed56efdd67601e4dbbaebeb134aee361c' into 5.00Tom Kelly2021-10-011-2/+2
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '0ba253df4667668bc01dd9e239fba13f743e1752' into parallel_minor_g...Tom Kelly2021-10-011-19/+34
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g...Tom Kelly2021-10-011-56/+129
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '099b86a046e304fe15e2bb37557bffc6aafaab15' into parallel_minor_g...Tom Kelly2021-10-011-0/+9
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'eed1110e6aece8713605806bee7066ea07e2c0ca' intoTom Kelly2021-09-301-0/+4
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'b92682336d59f04c1cc6673d8b04495dc3a221bd' into parallel_minor_g...Tom Kelly2021-09-301-0/+20
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '3ef9ce800fea63c90294fe306e552b4b5fafaa1a' into parallel_minor_g...Tom Kelly2021-09-301-0/+2
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'aced66c380f00a42e18a3b08e70bea87c419b2a0' into parallel_minor_g...Tom Kelly2021-09-301-61/+41
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '3dc3cd7a4584a69d8ad4cf3c4789a9ecbe544b72' into parallel_minor_g...Tom Kelly2021-09-301-11/+26
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '3d083eedf9eb1de107b2790c794e883c9ac7554d' into parallel_minor_g...Tom Kelly2021-09-291-14/+8
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '8a90546229c1db74c04f13aafbe5f4a748e45614' into parallel_minor_g...Tom Kelly2021-09-291-2/+0
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit 'd0f80077066105e1429ef8728b8362b8d698e298' into parallel_minor_g...Tom Kelly2021-09-291-12/+8
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge commit '9f53c6b71af2ad75de0dd9799037a0259bd4b12d' into parallel_minor_g...Tom Kelly2021-09-291-10/+14
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | Update configure.ac with new versionDavid Allsopp2021-07-121-1/+1
| * | | | | | | | | | | | | | | | | | | | | | | | | add force_instrumented_runtimeEnguerrand Decorne2021-05-181-0/+10
| * | | | | | | | | | | | | | | | | | | | | | | | | configure: enable instrumented_runtimeEnguerrand Decorne2021-04-281-3/+2
| * | | | | | | | | | | | | | | | | | | | | | | | | remove multicore stats collectionSadiq Jaffer2021-04-121-12/+0
| * | | | | | | | | | | | | | | | | | | | | | | | | Remove spurious ] on end of excinfo lineTom Kelly2021-03-231-1/+1
| * | | | | | | | | | | | | | | | | | | | | | | | | make multicore NO_NAKED_POINTERS always; re-enable lib-obj and asmcomp/is_sta...Tom Kelly2021-03-181-10/+3
| * | | | | | | | | | | | | | | | | | | | | | | | | check for -lexecinfo in order to build on musl/alpineAnil Madhavapeddy2021-03-101-0/+2
| * | | | | | | | | | | | | | | | | | | | | | | | | Merge commit 'ac62e1c3d66666688fa77bd77ab94772cdd5035e' into parallel_minor_g...Tom Kelly2021-03-101-11/+51
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #10063 from tleedjarv/solaris-buildXavier Leroy2021-01-251-11/+51
| * | | | | | | | | | | | | | | | | | | | | | | | | | Merge commit '7d263c51726b8a1d9c5cd83227b92feeb49663b1' into parallel_minor_g...Tom Kelly2021-03-101-1/+13
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |/ / / / / / / / / / / / / / / / / / / / / / / / /
| | * | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #9907 from dra27/bootstrapped-natruntopDavid Allsopp2020-12-141-0/+7
| | * | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #10046 from dra27/static-libgccXavier Leroy2020-12-101-1/+6