summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* Tildes back in ~random parameter in Hashtbl.createJohn Whitington2020-08-031-1/+1
* Remove unneeded comment, typoJohn Whitington2020-08-011-2/+2
* Fix label warningsJohn Whitington2020-07-311-1/+1
* Check-typo and indenting all doneJohn Whitington2020-07-311-4/+16
* More patch indentingJohn Whitington2020-07-311-2/+2
* Better indentation for moreLabels.mli patchesJohn Whitington2020-07-314-12/+12
* Better, simpler, removal of unix type aliasesJohn Whitington2020-07-301-53/+5
* Labeled and unlabeled @sinces automaticallyJohn Whitington2020-07-301-5/+19
* Tildes back in labeled modulesJohn Whitington2020-07-291-3/+3
* Tilde removal in place. Now will put them back in.John Whitington2020-07-291-46/+55
* Fix tools/unlabel to deal with Hashtbl injectivityJohn Whitington2020-07-271-1/+1
* Merge branch 'trunk' into trunkJohn Whitington2020-07-278-822/+14
|\
| * Reorganize release infoFlorian Angeletti2020-07-262-628/+0
| * Merge pull request #9657 from nojb/warning_mnemonicsGabriel Scherer2020-07-211-1/+1
| |\
| | * Adapt caml-texNicolás Ojeda Bär2020-07-201-1/+1
| * | Test "no naked pointers" along with "flambda"Xavier Leroy2020-07-201-1/+2
| |/
| * Fix "main" CI script w.r.t. macOSXavier Leroy2020-07-141-0/+3
| * Merge pull request #9551 from nojb/microbfdXavier Leroy2020-07-145-194/+10
| |\
| | * Remove integration with libbfdNicolás Ojeda Bär2020-07-023-170/+1
| | * make alldependNicolás Ojeda Bär2020-07-021-4/+4
| | * Adapt ocamlobjinfoNicolás Ojeda Bär2020-07-021-20/+5
* | | Allow tools/unlabel to run from anywhereDavid Allsopp2020-07-271-39/+46
* | | Check that tools/unlabel is a no-op in CIDavid Allsopp2020-07-271-0/+22
* | | Match documentation and labelsJohn Whitington2020-07-191-1/+0
* | | Generate moreLabels.mli programaticallyJohn Whitington2020-07-185-2/+53
* | | Make hashtbl.mli / set.mli / map.mli from labeledJohn Whitington2020-07-181-0/+21
* | | Check-typo fixJohn Whitington2020-07-181-1/+0
* | | Unify unixLabels.mli / unix.mli via tools/unlabelJohn Whitington2020-07-171-1/+61
* | | More check-typo fixesJohn Whitington2020-07-081-4/+8
* | | Fixes per travis check-typo and travis changesJohn Whitington2020-07-081-2/+15
* | | Unify labeled and unlabeled Standard Library modulesJohn Whitington2020-07-071-0/+11
|/ /
* | Merge pull request #9712 from Octachron/version_formatFlorian Angeletti2020-07-031-1/+1
|\ \ | |/ |/|
| * Update version formatoctachron2020-07-021-1/+1
* | Bump FlexDLL submodule to 0.38David Allsopp2020-06-291-2/+2
* | CI: make "light" test lighterXavier Leroy2020-06-251-0/+1
* | Merge pull request #9692 from nojb/shellquoteDavid Allsopp2020-06-231-7/+0
|\ \
| * | Get rid of shellquote macroNicolás Ojeda Bär2020-06-171-7/+0
* | | Fix inria/extra-checks CI jobSébastien Hinderer2020-06-221-2/+3
* | | Build system: simplify installation rulesSébastien Hinderer2020-06-181-10/+7
* | | Add the $(EXE) suffix to all programs at build rather than install timeSébastien Hinderer2020-06-183-66/+82
* | | tools/Makefile: stop considering ocamldep and cvt_emit as preciousSébastien Hinderer2020-06-181-12/+2
* | | tools/ocamlmktop.ml: make use of the configured extension of executalbesSébastien Hinderer2020-06-182-3/+4
* | | objinfo: take possible .exe extension into account when calling objinfo_helperSébastien Hinderer2020-06-181-1/+2
* | | objinfo_helper: slightly generalise usage messageSébastien Hinderer2020-06-181-1/+1
| |/ |/|
* | Merge pull request #9625 from dra27/warn-errorDavid Allsopp2020-06-101-7/+4
|\ \
| * | Add --enable-warn-errorDavid Allsopp2020-06-011-7/+4
* | | Remove two oldish scripts (#9656)Sébastien Hinderer2020-06-092-192/+0
* | | Fix tools/check-typo for mawk 1.3.4 (#9644)David Allsopp2020-06-051-3/+2
| |/ |/|
* | Inria CI: also test LibBFD support on FreeBSDSébastien Hinderer2020-06-041-1/+1
* | Fix load path ordering (#9611)Nicolás Ojeda Bär2020-06-031-3/+2