summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* Inria CI: make sure this 4.11 branch is not run on SolarisSébastien Hinderer2021-01-283-0/+12
* Merge pull request #9723 from dra27/flexdll-0.38David Allsopp2020-06-301-2/+2
* Merge pull request #9552 from Octachron/forgotten_ocamloptpFlorian Angeletti2020-05-141-1/+2
* Merge pull request #9181 from shindere/fix-objinfoSébastien Hinderer2019-12-172-46/+98
* Merge pull request #9089 from Octachron/highlighting_for_the_manualFlorian Angeletti2019-11-281-35/+40
* Fix BFD support on OpenBSDSébastien Hinderer2019-11-281-0/+2
* Fix address sanitizer check on INRIA CI (#9053)Jacques-Henri Jourdan2019-10-191-4/+9
* a better representation for modules with no name (#8908)Thomas Refis2019-10-092-3/+4
* Allow by-host worktree-sharable configure cachesDavid Allsopp2019-10-051-5/+46
* Allow Git config options to be passed to configureDavid Allsopp2019-10-051-0/+30
* Merge pull request #8951 from shindere/make-default-targetDavid Allsopp2019-10-042-4/+4
|\
| * Let make's default target build the compilerSébastien Hinderer2019-09-302-4/+4
* | Fix missing Caml_state (#8940)Guillaume Munch-Maccagnoni2019-10-031-5/+5
* | Merge pull request #8992 from Octachron/shared_argsGabriel Scherer2019-10-013-239/+12
|\ \
| * | share argument implementation across executableFlorian Angeletti2019-09-303-239/+12
| |/
* | Allow compiling ocamldoc with -principal (#8955)Jacques Garrigue2019-09-301-1/+1
|/
* Fix failure to install tools linksDavid Allsopp2019-09-291-0/+1
* check-parser-uptodate-or-warn.sh: Improve message if mstat failsDavid Allsopp2019-09-261-1/+6
* check-parser-uptodate-or-warn.sh: improve shell scriptDavid Allsopp2019-09-261-6/+3
* Changes entryGabriel Scherer2019-09-261-1/+1
* check-parser-uptodate-or-warn.sh: do nothing on non-development versionsGabriel Scherer2019-09-251-0/+6
* make check-parser-uptodate-or-warn.sh more robust to script failuresGabriel Scherer2019-09-251-1/+1
* check-parser-uptodate-or-warn.sh: support busybox's stat (#8965)Gabriel Scherer2019-09-251-2/+7
* make dependGabriel Scherer2019-09-251-2/+2
* Add a new -output-complete-exe option (#8872)Nicolás Ojeda Bär2019-09-251-0/+1
* Merge pull request #8967 from gasche/cmt2annot-proper-iteratorGabriel Scherer2019-09-241-23/+23
|\
| * tools/cmt2annot: use proper Tast_iter instead of Tast_mapperGabriel Scherer2019-09-231-23/+23
* | Inria CI: request BFD support on MacOS XSébastien Hinderer2019-09-231-1/+3
* | Build system: introduce the BFD_LDFLAGS variableSébastien Hinderer2019-09-231-1/+1
* | Build system: rename the LIBBFD_INCLUDE variable to BFD_CPPFLAGSSébastien Hinderer2019-09-231-1/+1
* | Build system: rename the LIBBFD_LINK variable to BFD_LDFLAGSSébastien Hinderer2019-09-231-1/+1
|/
* Merge pull request #8827 from gasche/revert-numeric-operators-hintFlorian Angeletti2019-09-191-2/+13
* Build system: share rules to compile C files (#8930)Sébastien Hinderer2019-09-111-3/+7
* in -dtimings output, show time spent in C linker clearlyValentin Gatien-Baron2019-08-261-1/+1
* tools/ci/inria/extra-checks: use git clean rather than make distcleanSébastien Hinderer2019-08-061-8/+4
* release-checklist: be more explicit about how to update the year in the manualDamien Doligez2019-08-011-1/+1
* Merge pull request #8845 from dra27/old-schoolDavid Allsopp2019-07-311-8/+27
|\
| * Move the quicker tests to the top of the scriptDavid Allsopp2019-07-311-27/+27
| * Test make world on Inria CIDavid Allsopp2019-07-301-0/+19
* | Update release checklistFlorian Angeletti2019-07-301-13/+10
|/
* Test all ocamldoc generators in the CIDavid Allsopp2019-07-271-0/+4
* minor release-checklist updateGabriel Scherer2019-07-241-2/+2
* Test non-shared platform and minimal buildDavid Allsopp2019-07-181-10/+38
* manual: test case-insensitive collisionsFlorian Angeletti2019-07-051-3/+4
* actually remove tools/addlabels.ml, leftover from #8663Gabriel Scherer2019-06-191-469/+0
* Improve shell scripts (#1690)zapashcanon2019-06-195-83/+87
* Merge pull request #2309 from TheLortex/runtime-variant-pathGabriel Scherer2019-06-192-0/+4
|\
| * Introduce the -without-runtime option.Lucas Pluvinage2019-05-062-0/+4
* | Fix the instructions for uploading the manual to the Web server.Damien Doligez2019-06-191-2/+4
* | Fix Thread sanitizer after GPR#8691.Jacques-Henri Jourdan2019-06-182-8/+1
View Lorry Controller Status