summaryrefslogtreecommitdiff
path: root/stdlib/Makefile
Commit message (Expand)AuthorAgeFilesLines
* (minor) remove unused CAMLYACC variablesGabriel Scherer2018-09-011-1/+0
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-1/+1
* Stdlib: add Option module.Daniel Bünzli2018-08-081-1/+1
* Stdlib: add Result module.Daniel Bünzli2018-08-081-1/+2
* Remove the Sort module. (PR7812)whitequark2018-07-131-1/+1
* Merge the asmrun and byterun directories into the runtime directorySébastien Hinderer2018-06-281-5/+5
* Merge pull request #1821 from gasche/makefiles-consistent-opt-targetsGabriel Scherer2018-06-241-1/+2
|\
| * makefiles: consistently offer *both* 'allopt' and 'opt.opt' targetsGabriel Scherer2018-06-071-1/+2
* | Rename C compiler related build variablesSébastien Hinderer2018-06-201-5/+5
* | Refactor stdlib/Makefile for long-lineDavid Allsopp2018-06-131-2/+5
* | Missing quotes in stdlib MakefileDavid Allsopp2018-06-091-2/+2
|/
* Add configure options to control installation of source artifacts (#1777)Mark Shinwell2018-05-141-1/+6
* make install: remove old bigarray libraryNicolás Ojeda Bär2018-04-161-3/+5
* make install: remove old files to account for new packed stdlibNicolás Ojeda Bär2018-04-161-0/+5
* small portability fix to "make depend"Damien Doligez2018-04-101-1/+1
* Move bigarray to the stdlib (#1685)Jérémie Dimino2018-04-091-1/+1
* Tune List.init thresholdHugo Heuzard2018-04-051-1/+1
* factorize common makefile definitions in Makefile.commonGabriel Scherer2018-03-291-6/+2
* makefiles: turn the 'install' command into a variableGabriel Scherer2018-03-291-9/+10
* makefiles: use 'install' instead of 'cp' in 'make install' targetsGabriel Scherer2018-03-291-7/+13
* Stdlib functional iterators (#1002)Simon Cruanes2018-03-161-2/+3
* Add Float.Array moduleNicolás Ojeda Bär2018-03-151-3/+3
* Add Float moduleNicolás Ojeda Bär2018-03-151-1/+2
* Fix install target after #1635.alainfrisch2018-03-071-2/+5
* Small fixes for stdlib/Makefile under Windows (#1635)Alain Frisch2018-03-061-8/+14
* Fix the dependencies for .p.cmx files in stdlib/Jeremie Dimino2018-02-121-1/+1
* Core review workJeremie Dimino2018-02-121-9/+0
* Use gawk on Windows in the build systemDavid Allsopp2018-02-121-2/+4
* Prefix the compilation unit names of all modules in the stdlibJeremie Dimino2018-02-121-36/+76
* headernt.c: fix read_runtime_pathNicolas Ojeda Bar2017-09-271-3/+3
* Unicode support for the Windows runtime (#1200)Nicolás Ojeda Bär2017-09-181-3/+3
* Move configuration header files from the config to the byterun/caml directorySébastien Hinderer2017-04-261-2/+2
* Fix \r problems on recent CygwinsDavid Allsopp2017-04-131-1/+1
* Introduce and use the OUTPUTEXE and OUTPUTOBJ build variablesSébastien Hinderer2017-03-291-8/+8
* Define new build variables for C compiler and preprocessor flagsSébastien Hinderer2017-03-291-5/+5
* Get rid of BYTECC and NATIVECCSébastien Hinderer2017-03-291-5/+5
* Rename the BYTECCLINKOPTS build variable to LDFLAGSSébastien Hinderer2017-03-291-2/+2
* MPR#7500: remove Uchar.dump (#1081)Daniel Bünzli2017-03-071-2/+2
* Deprecate Bigarray.*.map_file and add Unix.map_file (#997)Jérémie Dimino2017-01-101-1/+1
* Merge pull request #935 from ygrek/termux-buildGabriel Scherer2016-12-231-4/+4
|\
| * find shell in PATH, do not assume /bin/sh existsygrek2016-11-261-4/+4
* | Merge Unix and Windows build systems in the asmrun directory (#941)Sébastien Hinderer2016-12-201-2/+2
|/
* Improve handling of platforms that do not have gprof profiling support (#933)Sébastien Hinderer2016-11-251-6/+8
* Revert "Improve handling of platforms that do not have gprof profiling suppor...Gabriel Scherer2016-11-251-8/+6
* Improve handling of platforms that do not have gprof profiling support (#933)Sébastien Hinderer2016-11-251-6/+8
* Merge build systems in the stdlib directory (#866)Sébastien Hinderer2016-11-091-46/+216
* Call the '#' sign hash rather than sharp.Sébastien Hinderer2016-05-091-1/+1
* tweak tools/check-typo and break more overlong linesDamien Doligez2016-02-191-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-12/+14
* Protect install paths against spaces (on Windows)Christophe Troestler2016-02-101-12/+13