summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Expand)AuthorAgeFilesLines
* Extend `open` to arbritrary module expressions in structures and toRunhang Li2018-11-261-10/+8
* Update .dependLeo White2018-11-211-12/+12
* fix dune build following natdynlink modifications (#2154)Thomas Refis2018-11-202-5/+9
* Merge pull request #1063 from mshinwell/natdynlink_load_onceNicolás Ojeda Bär2018-11-1512-623/+1096
|\
| * Various Makefile / dependency fixesMark Shinwell2018-11-152-4/+19
| * Fix makefile problemsMark Shinwell2018-11-142-14/+17
| * Fixing dynlink makefilesMark Shinwell2018-11-142-33/+9
| * Make (nat)dynlink soundMark Shinwell2018-11-1212-629/+1108
* | "Alerts" as a generalization of "deprecated" (#1804)Alain Frisch2018-11-151-12/+12
|/
* otherlibs/Makefile with 'all allopt clean partialclean'Gabriel Scherer2018-11-121-0/+35
* rename otherlibs/Makefile into otherlibs/Makefile.otherlibs.commonGabriel Scherer2018-11-128-7/+7
* Stdlib doc: harmonize heading levels again. (#2142)Daniel Bünzli2018-11-081-1/+1
* Add paths for built-in types (#1876)yallop2018-11-082-3/+14
* s/string_of_int/Int.to_string/gDaniel Bünzli2018-11-073-3/+3
* Stdlib: add Fun module. (#2129)Daniel Bünzli2018-11-062-1/+2
* Stdlib: add Bool module.Daniel Bünzli2018-10-232-1/+2
* Merge pull request #2011 from dbuenzli/int-supportNicolás Ojeda Bär2018-10-232-2/+3
|\
| * Stdlib: add Int module.Daniel Bünzli2018-10-092-2/+3
* | Merge pull request #2100 from Armael/getaddrinfoGabriel Scherer2018-10-111-1/+1
|\ \
| * | Fix Unix.getaddrinfo when called on strings containing null bytesArmaël Guéneau2018-10-101-1/+1
| |/
* | Provide a way to build the bytecode compiler using Dune (#2093)Thomas Refis2018-10-103-0/+79
|/
* 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
View Lorry Controller Status