summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Expand)AuthorAgeFilesLines
...
* 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
| * Remove Meta.static_{alloc, free}.Stephen Dolan2018-04-131-14/+16
* | Remove the Makefile.nt filesSébastien Hinderer2018-05-257-114/+0
* | Unix: add open_process_args{,_in,_out,_full} (#1792)Nicolás Ojeda Bär2018-05-245-54/+160
* | Make sure a function registered with `at_exit` is executed only once (#1790)Xavier Leroy2018-05-231-1/+6
* | Fix Segfault on Windows 64 bitsMarc Lasson2018-05-181-5/+0
* | Add configure options to control installation of source artifacts (#1777)Mark Shinwell2018-05-144-4/+25
* | ocamlc -config: new -config-var option to print specific configuration variablesGabriel Scherer2018-04-271-1/+1
|/
* bump magic numbers for 4.07Damien Doligez2018-04-101-1/+1
* Move bigarray to the stdlib (#1685)Jérémie Dimino2018-04-0913-2072/+66
* factorize common makefile definitions in Makefile.commonGabriel Scherer2018-03-294-26/+7
* makefiles: turn the 'install' command into a variableGabriel Scherer2018-03-294-36/+40
* makefiles: use 'install' instead of 'cp' in 'make install' targetsGabriel Scherer2018-03-294-21/+55
* Stdlib functional iterators (#1002)Simon Cruanes2018-03-162-1/+2
* Merge pull request #1638 from nojb/float_moduleNicolás Ojeda Bär2018-03-161-0/+1
|\
| * Add Float moduleNicolás Ojeda Bär2018-03-151-0/+1
* | fix primitives for marshalHugo Heuzard2018-03-151-3/+2
|/
* Thread.wait_{timed_}read: document that they also return on EOF (#1656)Török Edwin2018-03-132-3/+3
* build_path_prefix_map: update .depend and MakefilesGabriel Scherer2018-03-011-0/+1
* Fix Unicode mismatch in win32graph (#1629)David Allsopp2018-02-241-1/+1
* Add the -dunique-ids and -dno-unique-ids options to the compilersSébastien Hinderer2018-02-201-12/+12
* Core review workJeremie Dimino2018-02-122-9/+12
* Prefix the compilation unit names of all modules in the stdlibJeremie Dimino2018-02-122-28/+83
* make alldependGabriel Scherer2018-02-054-103/+225
* Genarray.nth_dim: add missing bounds checkNicolás Ojeda Bär2018-01-041-1/+1
* Improved Thread.yield / thread preemption (#1533)Jacques-Henri Jourdan2017-12-212-2/+9
* Remove -static-libgcc link flag from mingw32 port (#1535)David Allsopp2017-12-192-4/+12
* getpw* and getgr* functions raise Unix_error when interrupted (#1451)aalekseyev2017-12-153-8/+38
* Use native Windows API for Unix.{getenv,environment}, Sys.getenv (#1479)Nicolás Ojeda Bär2017-12-151-7/+16
* Merge branch 'trunk' into fix_unix_utimes_windows_dstGabriel Scherer2017-12-105-123/+296
|\
View Lorry Controller Status