summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Expand)AuthorAgeFilesLines
* Introduce and use ROOTDIR in more makefilesSébastien Hinderer2018-09-172-53/+45
* Move config/Makefile to Makefile.configSébastien Hinderer2018-09-174-4/+4
* Merge pull request #1683 from stedolan/marshal-custom-lengthDamien Doligez2018-09-145-7/+14
|\
| * Add CODE_CUSTOM_FIXED for fixed-size custom serializers.Stephen Dolan2018-08-225-7/+14
* | Remove space from end of FLEXLINK_ENVDavid Allsopp2018-09-072-5/+4
* | Move FLEXLINK_ENV definition to Makefile.commonDavid Allsopp2018-09-072-16/+0
* | Standardise setting and use of OCAML_FLEXLINKDavid Allsopp2018-09-072-8/+13
* | (minor) remove unused CAMLYACC variablesGabriel Scherer2018-09-014-4/+0
* | Merge pull request #1999 from toots/process_pidNicolás Ojeda Bär2018-08-284-0/+54
|\ \
| * | Add API to retrieve high level process's PIDsRomain Beauxis2018-08-234-0/+54
* | | Deprecate Pervasives (#1605)Jérémie Dimino2018-08-274-12/+9
|/ /
* | Merge pull request #1855 from mseri/pervasive-finallyNicolás Ojeda Bär2018-08-081-0/+14
|\ \
| * | stdlib: address @nojb review commentsMarcello Seri2018-08-071-6/+6
| * | stdlib: rename try_finally to protectMarcello Seri2018-08-071-3/+3
| * | stdlib: simplify try_finally signature and implementationMarcello Seri2018-08-071-19/+5
| * | stdlib: use a version of @bobot try_finallyMarcello Seri2018-08-071-3/+26
| * | stdlib: update try_finally to newer syntaxMarcello Seri2018-08-071-3/+3
| * | stdlib: introduce try_finally in PervasivesMarcello Seri2018-08-071-0/+5
* | | Stdlib: add Option module.Daniel Bünzli2018-08-082-1/+2
* | | Stdlib: add Result module.Daniel Bünzli2018-08-082-1/+3
|/ /
* | make alldependGabriel Scherer2018-08-063-20/+30
* | dependHugo Heuzard2018-08-062-22/+20
* | Fix Unix.fsync on Windows: retrieve fd outside blocking sectionNicolás Ojeda Bär2018-07-311-3/+8
* | Unix fsync (#1839)Francois Berenger2018-07-317-3/+43
* | Pass the elements from `BUILD_PATH_PREFIX_MAP` to the assembler (#1930)Xavier Clerc2018-07-271-2/+2
* | Just some tbl things. (#1699)Gabriel Radanne2018-07-231-1/+1
* | Remove the Sort module. (PR7812)whitequark2018-07-132-2/+1
* | Make Printexc.get_callstack work in newly-created, native-code threads (#1895)sliquister2018-07-121-2/+2
|/
* install the mli files of the thread library next to its cmi/cmt/etcValentin Gatien-Baron2018-07-011-1/+1
* GPR#1061 check-typo complianceDavid Allsopp2018-07-012-2/+4
* Merge the asmrun and byterun directories into the runtime directorySébastien Hinderer2018-06-2812-1030/+1030
* Unix.link: include errno.h, correctly set feature test macroChristopher Zimmermann2018-06-261-1/+6
* Add ~follow option to Unix.link (#1061)madroach2018-06-257-13/+51
* Merge pull request #1821 from gasche/makefiles-consistent-opt-targetsGabriel Scherer2018-06-241-0/+2
|\
| * makefiles: consistently offer *both* 'allopt' and 'opt.opt' targetsGabriel Scherer2018-06-071-0/+2
* | Rename C compiler related build variablesSébastien Hinderer2018-06-209-18/+21
* | Rename build variable SHAREDCCCOMPOPTS to SHAREDLIB_CFLAGSSébastien Hinderer2018-06-203-4/+4
* | Merge pull request #1847 from gasche/fix-bigarray-dependGabriel Scherer2018-06-191-6/+1
|\ \
| * | fix 'depend' target in otherlibs/bigarrayGabriel Scherer2018-06-191-6/+1
* | | make alldependGabriel Scherer2018-06-191-0/+5
|/ /
* | GPR#1825 check-typo complianceDavid Allsopp2018-06-141-1/+0
* | Whitespace and overlong line fixes.David Allsopp2018-06-1426-65/+106
* | Add checks to the conversion of Unix file descriptors to I/O channels (#1825)Xavier Leroy2018-06-144-5/+137
* | Fix over-long lines with minor re-wordingsDavid Allsopp2018-06-131-1/+2
* | Fix docstring of stats.st_rdev in Unix modulesGabor Igloi2018-06-072-4/+4
* | Cleaning up the C code (#1812)Xavier Leroy2018-06-075-11/+21
|/
* Unix: factor out shellygrek2018-06-032-5/+7
* Merge pull request #1723 from stedolan/remove-meta-staticGabriel Scherer2018-05-281-16/+8
|\
| * Add an optional digest parameter to Meta.reify_bytecode.Stephen Dolan2018-04-131-6/+1
| * Add LongString.blit_stringStephen Dolan2018-04-131-7/+2
View Lorry Controller Status