summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Expand)AuthorAgeFilesLines
* Fix Unix.utimes not working for directories on Win32. (#8796)Daniil Baturin2020-11-031-1/+1
* Merge pull request #9840 from dra27/fix-9839David Allsopp2020-10-303-1/+10
* Merge pull request #9674 from jhjourdan/memprof_thread_alloc_callback_2Jacques-Henri Jourdan2020-10-202-19/+32
* Centralized tracking of frontend's global state (#9963)Thomas Refis2020-10-151-0/+1
* Provide semaphores in the threading library (#9930)Xavier Leroy2020-10-124-2/+240
* Make sure the process can terminate when the last thread calls Thread.exit (#...Xavier Leroy2020-10-121-0/+6
* Remove SpacetimeNicolás Ojeda Bär2020-10-087-1358/+1
* Unix.setsid: guard against errors (#9958)Nicolás Ojeda Bär2020-10-051-1/+3
* Use "error checking" mutexes in the threads library (#9846)Xavier Leroy2020-10-054-45/+171
* Restore Cygwin64 supportDavid Allsopp2020-09-211-1/+3
* Merge pull request #9745 from johnwhitington/trunkFlorian Angeletti2020-09-154-452/+823
|\
| * Remove false self-referencesJohn Whitington2020-09-112-6/+6
| * Merge remote-tracking branch 'upstream/trunk' into trunkJohn Whitington2020-09-1119-61/+43
| |\
| * | Rename tools/unlabel --> tools/sync_stdlib_docsJohn Whitington2020-09-102-22/+24
| * | tools/unlabelDavid Allsopp2020-08-071-2/+2
| * | unixLabels.cmi must be pre-processedDavid Allsopp2020-08-072-0/+5
| * | Final nitsDavid Allsopp2020-08-071-2/+2
| * | "final" fixesJohn Whitington2020-08-062-68/+102
| * | remove double @sincesJohn Whitington2020-08-032-28/+14
| * | Small fixes from @dra27's commentsJohn Whitington2020-08-032-2/+2
| * | Remove unneeded comment, typoJohn Whitington2020-08-012-10/+0
| * | Fix label warningsJohn Whitington2020-07-311-7/+7
| * | Better, simpler, removal of unix type aliasesJohn Whitington2020-07-302-2/+2
| * | Labeled and unlabeled @sinces automaticallyJohn Whitington2020-07-302-14/+28
| * | Fix smaller review comments from @dra27John Whitington2020-07-302-82/+106
| * | Tildes back in labeled modulesJohn Whitington2020-07-292-17/+17
| * | Merge branch 'trunk' into trunkJohn Whitington2020-07-272-0/+4
| |\ \
| * | | {!Unix.xxx} changed to {!xxx} in docstringsJohn Whitington2020-07-232-192/+192
| * | | Fixes per check-typo failureJohn Whitington2020-07-182-24/+36
| * | | Unify unixLabels.mli / unix.mli via tools/unlabelJohn Whitington2020-07-172-341/+645
* | | | Export, document, and use Unix._exit (#9914)Xavier Leroy2020-09-144-5/+45
* | | | Eliminate CAMLprim/CAMLexport in socketaddr.h (#9900)David Allsopp2020-09-117-74/+16
| |_|/ |/| |
* | | Merge pull request #9904 from dra27/unix-io-primsDavid Allsopp2020-09-111-4/+0
|\ \ \
| * | | Declare primitives used by unix in io.hDavid Allsopp2020-09-101-4/+0
* | | | Don't use CAMLextern in C filesDavid Allsopp2020-09-103-5/+3
|/ / /
* | | Add Unix.SO_REUSEPORT (#9869)Yishuai Li2020-09-026-0/+12
* | | Add Sys.mkdirDavid Allsopp2020-07-213-39/+11
* | | Build system: honour the CFLAGS and CPPFLAGS build variablesSébastien Hinderer2020-08-062-3/+4
* | | Ensure signals are handled before Unix.{kill,sigprocmask} return (#9802)Stephen Dolan2020-07-301-0/+1
* | | Merge pull request #9804 from stedolan/otherlibs-debugDavid Allsopp2020-07-292-0/+8
|\ \ \
| * | | Build otherlibs with debug info in C stubsStephen Dolan2020-07-282-0/+8
| | |/ | |/|
* | | Avoid polling in caml_leave_blocking_sectionStephen Dolan2020-07-282-0/+4
* | | Do not run OCaml code inside signal handlersStephen Dolan2020-07-271-10/+0
|/ /
* | Dynlink.*_unit functions: make sure they call the internal init ().Daniel Bünzli2020-07-231-0/+3
* | Add module utils/binutilsNicolás Ojeda Bär2020-07-021-0/+1
|/
* Don't define _INTEGRAL_MAX_BITS macro (#9686)Antonin Décimo2020-06-241-1/+0
* Build system: simplify installation rulesSébastien Hinderer2020-06-183-7/+4
* Add the $(EXE) suffix to all programs at build rather than install timeSébastien Hinderer2020-06-183-7/+12
* Unbox result of Unix.gettimeofday in unix and win32unix (#9561)Stephen Dolan2020-06-025-18/+27
* Add new flag for non-elevated symbolic links and test for Developer Mode on W...Manuel Hornung2020-05-291-3/+52
View Lorry Controller Status