summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
...
* Stop calling ranlib on created / installed libraries (#11184)Sébastien Hinderer2022-04-141-4/+2
* otherlibs: Merge win32unix into unixSébastien Hinderer2022-04-101-2/+2
* Followup on #11147Sébastien Hinderer2022-03-311-1/+1
* Factorize the definition of the standard library flagsSébastien Hinderer2022-03-311-3/+2
* Merge pull request #11126 from shindere/ocamldepSébastien Hinderer2022-03-301-11/+11
|\
| * Build system: also factorize the inclusion of directories when calling ocamldepSébastien Hinderer2022-03-221-6/+7
| * Build system: factorize the definitions related to ocamldepSébastien Hinderer2022-03-221-4/+2
| * Build system: normalize the invocations of ocamldepSébastien Hinderer2022-03-221-6/+7
* | Reserve only caml_minor_heap_max_wsz * Max_domains for the minor heapSabine Schmaltz2022-03-281-1/+2
|/
* Rename symbol for Caml_state to caml_state (#10925)David Allsopp2022-03-131-2/+0
* Merge pull request #10989 from dra27/cache-parallelGabriel Scherer2022-03-031-8/+10
|\
| * Download GNU parallel directly from gitDavid Allsopp2022-02-031-8/+10
* | dumpobj: avoid printing spurious space after SWICTHSébastien Hinderer2022-03-031-1/+1
* | dumpobj: add the -nobanners optionSébastien Hinderer2022-03-031-2/+4
* | Fix dumpobj crash due to naked pointer comparisonOlivier Nicole2022-03-021-1/+1
* | Remove uses of ;; from the codebaseSébastien Hinderer2022-02-257-57/+34
* | Normalize the minor version number of the compiler (#11049)Sébastien Hinderer2022-02-241-1/+1
* | Update the Jenkins CI "main" script to handle bytecode-only configs betterXavier Leroy2022-02-211-0/+7
* | The MSVC and Cygwin ports are not supported currentlyXavier Leroy2022-02-211-0/+2
|/
* Use GNU parallel for the CI testsuite runs (#10760)David Allsopp2022-02-031-1/+1
* Increase timeout on "sanitizers" Jenkins jobXavier Leroy2022-01-281-1/+1
* In bootstrap CI test: pervasives.mli is no moreXavier Leroy2022-01-271-13/+0
* Update sanitizers for OCaml 5.00 and Clang 13Xavier Leroy2022-01-271-21/+20
* Optionally print shape in ocamlobjinfoUlysse Gérard2022-01-241-1/+6
* Configure option --disable-bigarray-lib no longer existsXavier Leroy2022-01-241-1/+0
* other-configs test script: be more verboseXavier Leroy2022-01-191-2/+2
* Enable flambda only if actually requestedXavier Leroy2022-01-191-1/+1
* Merge pull request #10871 from xavierleroy/configure-5.0Xavier Leroy2022-01-181-0/+1
|\
| * configure: update the --disable-systhreads optionXavier Leroy2022-01-181-0/+1
* | Add a distclean target to tools/MakefileSébastien Hinderer2022-01-181-1/+4
|/
* Set PATH for mingw-w64 buildDavid Allsopp2022-01-111-0/+2
* Do not `disable-systhreads` for the minimal buildXavier Leroy2022-01-101-1/+0
* Remove mention of naked pointers from Inria CI scriptsSébastien Hinderer2022-01-102-4/+2
* Disable testsuite on AppVeyorDavid Allsopp2021-12-231-2/+3
* Disable building stdlib man pages on mingw-w64David Allsopp2021-12-231-2/+7
* Add -show-timings option to ocamltestDavid Allsopp2021-12-231-1/+2
* Use GNU parallel for the AppVeyor testsuite runDavid Allsopp2021-12-231-1/+9
* mingw-w64 runtime DLLs needed during the buildDavid Allsopp2021-12-231-5/+9
* Add tools/check-symbol-names to ci/actions/runner.shTom Kelly2021-12-211-0/+2
* Merge commit 'b4c5d7a55d9ec25693ba741a613d81f2c3ef66bc' into 5.00_rebase_to_prTom Kelly2021-12-211-2/+0
|\
| * Free the alternate signal stack when thread / process stopsXavier Leroy2021-12-061-2/+0
* | Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_prTom Kelly2021-12-202-1/+7
|\ \ | |/
| * Shapes: Store shapes in CMT* filesUlysse Gérard2021-11-092-1/+7
* | Merge commit 'e23ec809c39fc5ed7a91f7ec9ac8d663597ff5af' into 5.00_rebase_to_prTom Kelly2021-12-201-31/+37
|\ \ | |/
| * caml-tex: allow to nest warnings and errors within an exampleFlorian Angeletti2021-11-031-31/+37
* | Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_prTom Kelly2021-12-201-1/+0
|\ \ | |/
| * Don't display prune information for .gitignoreDavid Allsopp2021-11-011-1/+0
* | Merge commit '18c4d16b3b80388f5b77dcc5a268c33eceb37ebe' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+2
|\ \ | |/
| * Fix AC_CONFIG_HEADERS on CRLF-checkoutsDavid Allsopp2021-10-211-0/+2
* | Merge commit 'a7bf9cbaf368f178b606e7cf38ede4a22984a9da' into 5.00_rebase_to_prTom Kelly2021-12-201-13/+4
|\ \ | |/
View Lorry Controller Status