summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-0/+1412
* Update GDB scripts to work with OCaml 5 (#12179)Nick Barnes2023-04-172-177/+272
* Bytesections: cleanup API (#11623)hhugo2023-03-114-97/+84
* Small refactoring for null terminated values (#12086)hhugo2023-03-072-18/+4
* configure: check whether ar supports response files (#12075)Nicolás Ojeda Bär2023-03-071-1/+3
* ocamltex: update regexp and reset locationsFlorian Angeletti2023-02-231-1/+3
* Replace structured constants by their Obj.t representation in CMO filesSébastien Hinderer2023-02-221-36/+2
* Report all post-build failuresDavid Allsopp2023-02-211-3/+9
* Detect unused Makefile variables in workflowDavid Allsopp2023-02-201-1/+12
* Make the 'light' test available for CygwinXavier Leroy2023-02-201-1/+7
* Add syntax for generative functor application (#11984)Richard Eisenberg2023-02-121-1/+5
* stripdebug: add options to control behaviorXavier Leroy2023-02-011-16/+50
* stripdebug: fix wrong skipping of sections not copiedXavier Leroy2023-01-311-1/+1
* tools/check-typo-since: Fix syntax error (#11914)Jules Aguillon2023-01-191-1/+1
* Check that no ignored files have been committedDavid Allsopp2022-12-221-0/+19
* Re-enable SHOW_TIMINGS=1 on JenkinsDavid Allsopp2022-12-141-2/+3
* Merge pull request #11675 from shindere/merge-tools-makefileDavid Allsopp2022-12-1430-592/+361
|\
| * Merge tools/Makefile into the root MakefileSébastien Hinderer2022-12-122-542/+0
| * Make the general macros work even when the variables are defined laterSébastien Hinderer2022-12-121-5/+5
| * Introduce generic macros to link OCaml programsSébastien Hinderer2022-12-121-76/+26
| * tools/Makefile: build all the tools the same waySébastien Hinderer2022-12-121-93/+90
| * tools/Makefile: eliminate the LINKFLAGS variableSébastien Hinderer2022-12-121-8/+6
| * tools/Makefile: simplify the way the list of include directories is computedSébastien Hinderer2022-12-121-2/+2
| * tools/Makefile and root Makefile: eliminate the DIRS variableSébastien Hinderer2022-12-121-4/+3
| * Fix lintapidiff so that it compilesSébastien Hinderer2022-12-122-2/+22
| * tools/Makefile: normalize the build of make_opcodes and lintapidiffSébastien Hinderer2022-12-121-2/+2
| * tools/Makefile: do not include toplevel directory in link search pathSébastien Hinderer2022-12-121-3/+3
| * Compute LN during configure rather than during buildSébastien Hinderer2022-12-121-6/+0
| * Dissociate compilation and linking of ocamltexSébastien Hinderer2022-12-124-11/+34
| * tools/Makefile: remove depend.cmi from the ocamldep_objects variableSébastien Hinderer2022-12-121-3/+3
| * tools/Makefile: compile make_opcodes in two steps rather than oneSébastien Hinderer2022-12-123-5/+24
| * tools/Makefile: eliminate the COMPFLAGS variableSébastien Hinderer2022-12-121-6/+3
| * tools/Makefile: simplify the computation of VPATHSébastien Hinderer2022-12-121-1/+1
| * tools/Makefile: compiler flags adjustmentsSébastien Hinderer2022-12-1226-62/+395
| * Move linking tools/checkstack from tools/Makefile to the root MakefileSébastien Hinderer2022-12-121-5/+0
| * tools/Makefile cleanupSébastien Hinderer2022-12-121-14/+0
* | Revert "Show timings on precheck"David Allsopp2022-12-121-3/+2
|/
* Skip the memory model tests on Jenkins for CygwinDavid Allsopp2022-12-061-0/+5
* Show timings on precheckDavid Allsopp2022-12-061-2/+3
* AppVeyor script fixes for CygwinDavid Allsopp2022-12-061-4/+10
* sync_stdlib_docs: process code examples in arrayFlorian Angeletti2022-12-011-2/+20
* Embed printer types in toplevels and debuggerSébastien Hinderer2022-11-244-30/+1
* Merge pull request #11405 from dra27/ghaXavier Leroy2022-11-141-4/+12
|\
| * Tweak the Check Changes jobDavid Allsopp2022-08-291-4/+12
* | Add colors to error message hints (#11685)Christiana Anthony2022-11-081-2/+3
* | Add version number check to tools/check-typoDavid Allsopp2022-10-311-0/+15
* | ocamlmklib: use `ar rcs` instead of `ar rc` (#11670)Xavier Leroy2022-10-271-1/+1
* | Update lintapidiffSébastien Hinderer2022-10-261-20/+33
* | Inria ci: detect native compiler directly.Florian Angeletti2022-10-181-1/+1
* | Bootstrap flexdll in JenkinsDavid Allsopp2022-10-101-0/+2
View Lorry Controller Status