summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* 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
* | Remove PATH overrides for mingw-w64David Allsopp2022-10-102-13/+0
* | Switch required autoconf to 2.71 (#11294)David Allsopp2022-09-281-12/+3
* | Run the main testsuite seriallyDavid Allsopp2022-09-271-1/+1
* | Limit the testing in AppVeyorDavid Allsopp2022-09-271-0/+9
* | Turn the testsuite back on in AppVeyorDavid Allsopp2022-09-271-3/+2
* | Rename caml-tex into ocamltex, + related changesSébastien Hinderer2022-09-273-38/+38
* | build system: make a few conditionals over boolean variables more readableSébastien Hinderer2022-09-271-1/+1
* | Add ability to bootstrap flexdll on Jenkins CI (#11567)David Allsopp2022-09-271-0/+7
View Lorry Controller Status