summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* 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
|\ \ | |/
| * Disable the commit message Changes escape hatchDavid Allsopp2021-10-151-13/+4
| * Add --enable-native-toplevelDavid Allsopp2021-10-111-1/+0
* | Merge commit '0b3f8dd77d7569208f21bcbd67b85260eed65076' into 5.00_rebase_to_prTom Kelly2021-12-204-61/+3
|\ \ | |/
| * Move version check from tools/check-parser-uptodate-or-warn.sh to MakefileSébastien Hinderer2021-10-111-3/+0
| * Remove the reference to the VERSION file from tools/pre-commit-githookSébastien Hinderer2021-10-081-2/+2
| * Transform runtime/caml/version.h into a configured headerSébastien Hinderer2021-10-081-55/+0
| * Restore the -native option in Inria CI'sother-configs jobSébastien Hinderer2021-10-081-1/+2
| * Also test --with-pic in Inria's other-configs CI jobSébastien Hinderer2021-10-041-0/+1
| * Fix script for Inria's other-configs CI jobSébastien Hinderer2021-10-041-3/+1
* | Whitespace and line lengthsDavid Allsopp2021-12-192-2/+3
* | Copyright headersDavid Allsopp2021-12-193-0/+42
* | Remove old scriptsDavid Allsopp2021-12-192-75/+0
* | update the CI test runnerAlpha DIALLO2021-12-081-1/+1
* | update tools/.depend for gen_sizeclasses moveTom Kelly2021-11-171-0/+2
* | highlight that runtime/caml/sizeclasses.h is generated from tools/gen_sizecla...Tom Kelly2021-11-171-0/+1
* | move gen_sizeclasses.ml to tools/gen_sizeclasses.mlTom Kelly2021-11-171-0/+80
* | update from alldependTom Kelly2021-10-051-2/+0
* | fix execute bit on runner.shTom Kelly2021-10-041-0/+0
* | Merge commit '6e053e0dbba91a7c6ca1aad98f1b46557d319493' into 5.00Tom Kelly2021-10-041-1/+5
|\ \ | |/
| * check-typo: check for executable after pruningDavid Allsopp2021-09-211-1/+1
| * check-typo: prune directories in .gitignoreDavid Allsopp2021-09-211-0/+4
View Lorry Controller Status